AutoProof workshop: Verification As a Matter of Course
The AutoProof technology pursues the goal of “Verification As a Matter Of Course”, integrated into the EVE development environment. (The AutoProof project page here; see particularly the online interactive tutorial.) A one-day workshop devoted to the existing AutoProof and current development will take place on October 1 near Toulouse in France. It is an informal event (no proceedings planned at this point, although based on the submissions we might decide to produce a volume), on a small scale, designed to bring together people interested in making the idea of practical verification a reality.
The keynote will be given by Rustan Leino from Microsoft Research, the principal author of the Boogie framework on which the current implementation of AutoProof relies.
For submissions (or to attend without submitting) see the workshop page here. You are also welcome to contact me for more information.
Eiffel Software
Home page at ETH
Informatics Europe
LASER summer school
Propulsion Academy