Stream: Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Sep 09 2020 at 08:28):

From: Georg Weissenbacher <>
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:


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

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

Co-Chairs: Alexander Ivrii and Ofer Strichman


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.


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

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


Peter Schrammel
"How testable is business software?"

Orna Kupermann
"From Correctness to High Quality"


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"


Financial support: Amazon Web Services, Centaur Technology Inc., IBM, Novi,
Synopsys, and the Technion, Israel Institute of Technology.

Technical Co-Sponsor: IEEE

Supported by the FMCAD Association (

Last updated: Jul 15 2022 at 23:21 UTC