[ Early registration deadline is today. ] Tools and Techniques for Verification of System Infrastructure (TTVSI)
http://www.ttvsi.org/ 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 [EMAIL PROTECTED] ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
