[isabelle] FMCAD 2017 (Call for participation: early regi... · Archive Mirror: Isabelle Users Mailing List

Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] FMCAD 2017 (Call for participation: early regi...

Email Gateway (Aug 22 2022 at 15:56):

From: Georg Weissenbacher <georg.weissenbacher@tuwien.ac.at>
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.