[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Tools and Techniques for Verification of SystemInfrastructure (Call for posters)


Tools and Techniques for Verification of System Infrastructure (TTVSI)


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,

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.