[TYPES/announce] FMCAD 2017 (Call for participation: early registration ends Sept 2)

[Georg Weissenbacher]

FMCAD 2017: CALL FOR PARTICIPATION

International Conference on
Formal Methods in Computer-Aided Design (FMCAD)
TU Wien, Vienna, Austria, October 2-6, 2017

http://www.fmcad.org/FMCAD17

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

CONFERENCE SCOPE

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.

REGISTRATION

Early Registration Deadline: September 02, 2017
Registration Deadline: September 29, 2017

Registration details are available on
http://fmcad.org/FMCAD17/registration

TECHNICAL PROGRAM

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

KEYNOTES

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

TUTORIALS

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

SPONSORS

- 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,
  TTTech, WWTF