posted by organizer: anaumchev || 722 views || tracked by 1 users: [display]

APW 2016 : AutoProof Workshop


When Oct 1, 2016 - Oct 1, 2016
Where Toulouse, France
Submission Deadline Sep 15, 2016
Notification Due Sep 20, 2016
Final Version Due Sep 30, 2016
Categories    software verification   eiffel   autoproof   boogie

Call For Papers

AutoProof Workshop 2016 – APW 2016
1 October 2016
Toulouse, France

This first AutoProof workshop is intended to discuss the state of AutoProof technology (, needs for improvement and current advances. The workshop is results-focused rather than publication-focused; on the basis of the results we may propose a post-event proceedings volume.
The keynote will be given by Rustan Leino.
The AutoProof technology pursues the idea of “Verification As a Matter Of Course”: making full-fledged verification an integral part of the development process. Based on Eiffel and Boogie, it supports an "auto-active" style of verification where users interactively add the necessary mechanism to permit a full proof.

We invite you to submit your contributions according to the following schedule.

Call for Papers
Paper Submission Due: 15 September 2016
Acceptance Notification: 20 September

Workshop Website:

Looking forward to your contributions.

Related Resources

FAACS 2019   3rd Workshop on Formal Approaches for Advanced Computing Systems