[isabelle] FMCAD 2017 (Call for participation: early registration ends Sept 2)
FMCAD 2017: CALL FOR PARTICIPATION
International Conference on
Formal Methods in Computer-Aided Design (FMCAD)
TU Wien, Vienna, Austria, October 2-6, 2017
FMCAD Tutorial Day: October 2, 2017
FMCAD Regular Program: October 3-6, 2017
Part of the FMCAD 2017 program:
- FMCAD Student Forum
- Hardware Model Checking Competition 2017
- Symposium in memoriam of Helmut Veith
Co-located event: MEMOCODE 2017 (http://memocode.irisa.fr/2017/)
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
Registration details are available on
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
- Financial support: Amazon, ARM, BMVIT, Centaur Technology, DiffBlue,
Galois, Microsoft, NSF, Oski Technology, Real Intent, Synopsys,
This archive was generated by a fusion of
Pipermail (Mailman edition) and