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
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
- 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