CALL FOR POSTERS Tools and Techniques for Verification of System Infrastructure (TTVSI)
http://www.ttvsi.org/ TTVSI is a meeting organized to honour Professor Michael Gordon, a longtime leader in the field of formal verification. On the occasion of Professor Gordon's 60th birthday, a two day workshop has been organized for March 25-26, 2008, at the Royal Society in London, England. Attendees of TTVSI are invited to submit abstracts for posters, describing research related to the theme of the conference. The abstracts will be reviewed and accepted abstracts will appear in the proceedings of TTVSI. Posters will be presented in special sessions at the meeting. FORMAT. Poster submissions should be 1 page in length, using LNCS format. The submission should be an extended abstract summarizing the poster contents. Important dates: February 1: submissions open February 15: submission deadline February 22: acceptance notification February 29: revised submissions due Further details will appear in due course at the conference homepage. ------------------------------------------------------------------------- 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 [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
