From: Georg Weissenbacher <firstname.lastname@example.org>
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)
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.
"How testable is business software?"
"From Correctness to High Quality"
"Anytime Algorithms for MaxSAT and Beyond"
"Formal Verification for Natural and Engineered Biological Systems"
"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 (https://fmcad.or.at)
Last updated: Sep 25 2021 at 09:17 UTC