24-26 September 2014

University of Twente, Enschede

14th International Workshop on Automated Verification of Critical Systems

Important Dates

The dates for AVoCS 2014 are the following:

  • Submission (abstract for full paper): 23rd June 2014 (Extended)
  • Submission (full papers): 30th June 2014 (Extended)
  • Notification (full papers): 30th July 2014
  • Submission (research ideas): 11th August 2014
  • Notification (research ideas): 14th August 2014
  • Submission of final versions: 1st September 2014
  • Student grant application: 14th August 2014
  • Early registration: 1st September 2014
  • Workshop: 24-26th September 2014 (two and a half days, ends 26th lunchtime)