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
No comments:
Post a Comment