coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Tools and Techniques for Verification of System Infrastructure (Announce)
chronological Thread
- From: Konrad Slind <slind AT cs.utah.edu>
- To: coq-club AT pauillac.inria.fr, hvg AT cl.cam.ac.uk, nuprllist AT cs.cornell.edu, HOL-info mailing list <hol-info AT lists.sourceforge.net>, isabelle-users AT cl.cam.ac.uk, pvs AT csl.sri.com
- Subject: [Coq-Club] Tools and Techniques for Verification of System Infrastructure (Announce)
- Date: Tue, 20 Nov 2007 23:11:26 -0700
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
======================================================================== =
Tools and Techniques for Verification of System Infrastructure
A Festschrift in honour of Prof. Michael J. C. Gordon FRS
March 25-26, 2008, Royal Society, London
http://www.ttvsi.org/
======================================================================== =
In today's increasingly computer-based society, crucial
infrastructure---such as programming languages, compilers, networks,
and microprocessors---needs to meet a very high standard of
correctness in order to deliver the necessary quality and reliability
for applications. One way to achieve the necessary level of assurance
is to use formal specification and proof. Tool support for this
approach has steadily grown in sophistication and power, to the point
where the specification and verification of important system
infrastructure is an emerging fact.
To survey the state of the art and discuss future possibilities and
challenges, we are pleased to announce a two day research meeting, to
be held in honour of Professor Mike Gordon on the occasion of his 60th
birthday. The meeting will be held on Tuesday 25 and Wednesday 26
March 2008 at the Royal Society, London.
The following speakers will present their research:
Mike Gordon, Cambridge University
John Harrison, Intel
Sava Krstic, Intel
Xavier Leroy, INRIA
Tom Melham, Oxford University
Robin Milner, Cambridge University
J Moore, University of Texas at Austin
Tobias Nipkow, Technical University of Munich
Michael Norrish, NICTA
Larry Paulson, Cambridge University
Peter Sewell, Cambridge University
Laurent Thery, INRIA
An important part of the meeting will be poster presentation sessions,
in which attendees may present their research. Detailed information
about how to submit an abstract for a poster presentation, and to
register for the meeting, will be announced in due course.
Organizing Committee:
Richard Boulton, Icera
Joe Hurd, Galois
Konrad Slind, University of Utah
For all enquiries about the Festschrift, please use the email address info AT ttvsi.org
- [Coq-Club] Tools and Techniques for Verification of System Infrastructure (Announce), Konrad Slind
Archive powered by MhonArc 2.6.16.