[isabelle] FMCAD'20 (Sept 21 to 24) - Call for Participation · Mirror: Isabelle Users Mailing List

Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] FMCAD'20 (Sept 21 to 24) - Call for Participation

Email Gateway (Sep 09 2020 at 08:28):

From: Georg Weissenbacher <georg.weissenbacher@tuwien.ac.at>
The 20th International Conference on Formal Methods in Computer-Aided
Design (FMCAD) will be held online from September 21 to September 24, 2020.

Registration is now open and free: https://fmcad.org/FMCAD20/registration/

FMCAD 2020: CALL FOR PARTICIPATION

International Conference on
Formal Methods in Computer-Aided Design (FMCAD)

https://www.fmcad.org/FMCAD20

FMCAD Tutorial Day: September 21, 2020
FMCAD Regular Program: September 22-24, 2020

Co-Chairs: Alexander Ivrii and Ofer Strichman

CONFERENCE SCOPE

FMCAD'20 is the twentieth 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.

TECHNICAL PROGRAM

The program comprises presentations of 28 papers, 3 tutorials and 2
keynotes, a student forum, and the Hardware Model Checking Competition:

https://easychair.org/smart-program/FMCAD2020/

Short presentations will be given on Zoom and longer versions of the talks
will be made available for download.

KEYNOTES

Peter Schrammel
"How testable is business software?"

Orna Kupermann
"From Correctness to High Quality"

TUTORIALS

Alexander Nadel
"Anytime Algorithms for MaxSAT and Beyond"

Hillel Kugler
"Formal Verification for Natural and Engineered Biological Systems"

Armin Biere
"Tutorial on Word-Level Model Checking"