About the workshop

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.

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.

DescriptionDue DateStatus
Papers due date September 30, 2016 Open 
The workshop date October 1, 2016 Open 
Showing 2 items from page Important dates sorted by Due Date, Status. View more »


  • Submission deadline extension The papers due date has been moved to September 30, 2016
    Posted Sep 21, 2016, 5:50 AM by Alexandr Naumchev
  • Call For Papers Your should submit your papers electronically at:https://easychair.org/conferences/?conf=apw2016before the end of September 15, 2016, AoE time.
    Posted Aug 30, 2016, 11:33 PM by Alexandr Naumchev
Showing posts 1 - 2 of 2. View more »