Formal Methods in Computer-Aided Design 2024

FMCAD 2024 will be held in Prague, Czech Republic, from October 14 to October 18, 2024. The conference includes the FMCAD Student Forum, the HWMCC'24 competition, and is co-located with VSTTE 2024.

News

Congrats to the winners of the Best-paper and the Best Student Poster Awards!

Thank you all for the FMCAD 2024 edition! The photos of the event are available here.

group photo

The program of FMCAD2024 is online!

Check out the FMCAD'24 proceedings!

Submission deadline for the student forum is extended until July 18, 2024. More details are available here.

Registration to FMCAD24 are open! More details are available here.

We are delighted to announce that the following speakers have accepted to give invited presentations at FMCAD 2024:

Aina Niemetz, Stanford University
Mooly Sagiv, Certora and Tel Aviv University
Josef Urban, CIIRC
K. Rustan M. Leino, Automated Reasoning Group, Amazon Web Services

More details are available here.

Chairs

Nina Narodytska, VMware Research by Broadcom, USA
Philipp Rümmer, University of Regensburg and Uppsala University, Germany and Sweden

Important Dates

Abstract Submission:

~~April 28, 2024~~ ~~May 5, 2024 (extended)~~

Paper Submission:

~~May 5, 2024~~ ~~May 12, 2024 (extended)~~

Author Response:

~~June 25 - June 27, 2024~~

Author Notification:

~~July 8, 2024~~

Camera-Ready Version:

~~August, 2024~~

Early registration:

~~August 26, 2024~~

Late registration:

October 9, 2024

Conference hotel (Vienna House by Wyndham Andel's Prague) reservation Deadline:

September 13, 2024

Nearby hotel (NH Collection Prague hotel) reservation Deadline:

September 30, 2024

All deadlines are 11:59 pm AoE (Anywhere on Earth)

FMCAD/VSTTE Program Outline

VSTTE Dates:

Main VSTTE Day:

October 14, 2024

Joint FMCAD/VSTTE Tutorial Day:

October 15, 2024, morning

FMCAD Dates:

Joint FMCAD/VSTTE Tutorial Day:

October 15, 2024, afternoon

Main FMCAD days:

October 16 - October 18, 2024

Friday October 18 will be a full conference day, participants should not plan to leave until Saturday, October 19.

Location

FMCAD 2024 will be held in [Vienna House by Wyndham Andel’s Prague] (https://www.wyndhamhotels.com/en-uk/vienna-house/prague-czech-republic/vienna-house-andels-prague/local-area) (get directions).

About FMCAD

FMCAD 2024 is the twenty-fourth 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 groundbreaking 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.

FMCAD was first held in 1996, and was a bi-annual conference until 2006, when the FMCAD and CHARME conferences merged into a single annual conference. Before merging, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years. Since 2006, the FMCAD conference has been held annually at various international venues.

Student Forum

Continuing the tradition of the previous years, FMCAD 2024 is hosting a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.

Hardware Model Checking Competition (HWMCC) 2024

FMCAD 2024 will include HWMCC'24: the Hardware Model Checking Competition.