Email Gateway (Aug 18 2022 at 11:27): Email Gateway (Aug 18 2022 at 11:27):From: Konrad Slind <slind@cs.utah.edu>
[ Early registration deadline is today. ]
Tools and Techniques for Verification of System Infrastructure (TTVSI)
Today's increasingly computer-based society is dependent on the
correctness and reliability of crucial infrastructure, such as
programming languages, compilers, networks, and microprocessors. One
way to achieve the required level of assurance is to use formal
specification and proof, and tool support for this approach has
steadily grown to the point where the specification and verification
of important system infrastructure is now feasible.
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 Prof. Michael J. C. Gordon FRS on the occasion of
his 60th birthday.
Important Dates.
================
27 February 2008 Early registration deadline
14 March 2008 Registration deadline
25-26 March 2008 TTVSI research meeting
Sponsors.
=========
TTVSI is sponsored by the University of Cambridge Computer Laboratory,
Galois, Inc., and Lemma 1, Ltd.
Other Information.
=================
To contact the organizers please use the email address info@ttvsi.org.
Email Gateway (Aug 18 2022 at 11:32):From: Konrad Slind <konrad.slind@gmail.com>
[ Final Registration Deadline is Friday ]
Tools and Techniques for Verification of System Infrastructure (TTVSI)
Today's increasingly computer-based society is dependent on the
correctness and reliability of crucial infrastructure, such as
programming languages, compilers, networks, and microprocessors. One
way to achieve the required level of assurance is to use formal
specification and proof, and tool support for this approach has
steadily grown to the point where the specification and verification
of important system infrastructure is now feasible.
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 Prof. Michael J. C. Gordon FRS on the occasion of
his 60th birthday.
Important Dates.
================
14 March 2008 Registration deadline
25-26 March 2008 TTVSI research meeting
Sponsors.
=========
TTVSI is sponsored by the University of Cambridge Computer Laboratory,
Galois Inc., and Lemma 1, Ltd.
Other Information.
=================
To contact the organizers please use the email address info@ttvsi.org.
Last updated: May 03 2024 at 04:19 UTC