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 ground-breaking 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.
Early Registration Deadline: September 02, 2017 Registration Deadline: September 29, 2017
The program comprises presentations of 25 regular papers and 4 tool papers, 3 tutorials and 2 keynotes, a student forum, the Hardware Model Checking Competition, and a symposium in memoriam Helmut Veith. Details are available on the web-site: http://fmcad.org/FMCAD17
- Byron Cook (Amazon, University College London) "Formal Verification, Model Checking, and Constraints for Security of the Cloud"
- Wilfried Steiner (TTTech) "Formal Methods in Industrial Dependable Systems Design"
- Shin'ichiro Matsuo (MIT Media Lab/CELLOS Consortium/BSafe.network) "How Formal Methods and Analysis Helps Security of Entire Blockchain-based Systems"
- Cas Cremers (Oxford University) "Symbolic Security Analysis using the Tamarin Prover"
- Jade Alglave (Microsoft Research, University College London) "Consistency Properties of Parallel/Distributed Programs in cat"
STUDENT FORUM AND HELMUT VEITH SYMPOSIUM
The FMCAD student forum consists of short presentations and posters of doctoral students presenting their work-in-progress.
The Symposium in memoriam Helmut Veith features talks on model checking, synthesis, distributed algorithms, and security, as well as a LogicLounge on Teaching Logic in Computer Science.
- Sponsored by FMCAD, Inc. - Technical Co-sponsor: IEEE - In-cooperation with: ACM SIGPLAN/SIGSOFT