Invited Speakers – FMICS-AVoCS 2017

FMICS-AVoCS 2017 International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems
18-20 September 2017
University of Torino, Italy
Colocated with 13th International Conference on integrated Formal Methods (iFM 2017)

Call for Papers
Proceedings
Best Paper
Committees
Invited Speakers
Program
Past Editions

Call for Papers
Proceedings
Best Paper
Committees
Invited Speakers
Program
Past Editions

Important Dates

Submission of abstracts and full papers:
May 28, 2017 (extended)
Notification for full papers:
June 28, 2017
Camera ready due:
July 9, 2017
Submission of tool demo abstracts and research ideas:
June 4, 2017 (extended)
Notification tool demo abstracts and research ideas:
July 4, 2017
FMICS-AVoCS Workshop:
September 18-20, 2017

Venue and Registration

The conference is colocated with 13th International Conference on integrated Formal Methods (iFM 2017). Relevant information about the venue and registration can be found on iFM website.

Invited Speakers

Parosh Abdulla, Uppsala University, Sweden

Kerstin Eder, University of Bristol, UK

Webmaster Leo Hatvani. Designed by myThem.es.