Monday, March 20, 2017

International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems(FMICS-AVoCS 2017)

September 18-20, 2017, University of Torino, Italy

IMPORTANT DATES:

  • Abstract submission for full papers : May 14, 2017
  • Submission of full papers : May 21, 2017
  • Notification for full papers : June 26, 2017
  • Camera ready due : July 9, 2017
  • Submission of tool demo abstracts and research ideas : May 28, 2017
  • Notification tool demo abstracts and research ideas : July 4, 2017
  • FMICS-AVoCS Workshop : September 18-20, 2017