FMCAD 2017 will be held at TU Wien, Vienna, Austria, from 2–6 October, 2017. (How to get there)
FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.
FMCAD was first held in 1996, and was a bi-annual conference until 2006, when the FMCAD and CHARME conferences merged into a single annual conference. Before merging, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years. Since 2006, the FMCAD conference has been held annually at various international venues.
FMCAD 2017 will be collocated with MEMOCODE’17, the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, September 29–October 2, 2017
Announcement of Best Paper and Student Forum Contribution
The Best Paper Award was awarded to Daniela Ritirc, Armin Biere and Manuel Kauersfor their paper Column-Wise Verification of Multipliers Using Computer Algebra
The Best Student Contribution Award was presented to Thomas Pani (and co-authors Yulia Demyanova, Helmut Veith and Florian Zuleger) for the contribution Empirical Software Metrics for Benchmarking of Verification Tools.
|Program: Quick Overview|
|Shin’ichiro Matsuo||Cas Cremers||Jade Alglave|
|Tuesday-Thursday||Technical Program (see accepted papers)||Keynotes||Student Forum|
|Byron Cook (Amazon)||Wilfried Steiner (TTTech)||HWMCC'17|
|Friday||Symposium in memoriam Helmut Veith|
|LogicLounge on Teaching Logic in Computer Science|
The FMCAD 2017 tutorial day features talks by Shin’ichiro Matsuo (on formal analysis of blockchain-based systems), Cas Cremers (on symbolic security analysis), and Jade Alglave (on consistency properties of parallel/distributed programs).
Invited talks by Byron Cook (on verification of security in the cloud) and Wilfried Steiner (on formal methods in industrial dependable systems design).
The fifth FMCAD Student Forum (part of Thursday’s program) comprises short presentations and posters of doctoral students presenting their work-in-progress.
Hardware Model Checking Competition
The Hardware Model Checking Competition 2017 is affiliated with FMCAD 2017.
Helmut Veith Symposium and LogicLounge
On 6 October, FMCAD 2017 will host a (half-day) Symposium in memoriam Helmut Veith, featuring talks on model checking, synthesis, distributed algorithms, and security, as well as a LogicLounge on Teaching Logic in Computer Science (with Michael Huth and Janos Makowsky).
Our social events include a reception in the Vienna City Hall, a visit to the Belvedere museum and a banquet in a local brewery.
FMCAD 2017 is in-cooperation with ACM SIGPLAN and ACM SIGSOFT.
IEEE is a technical co-sponsor of FMCAD 2017.