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

SPONSORS

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