Logic List Mailing Archive

CfParticipation: Formal Methods in Computer-Aided Design (FMCAD), Ames (Iowa/USA)

23-27 October 2023

2023 Formal Methods in Computer-Aided Design (FMCAD) ======================================================

Ames, Iowa, USA
October 23-27, 2023



Early registration deadline is September 28th, 2023.
For more information, visit:


FMCAD 2023 is the twenty-third 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 employs a rigorous peer-review process. Accepted papers are published by TU Wien Academic Press under a Creative Commons license (the authors retain the copyright) and distributed through the IEEE XPlore digital library. There are no publication fees. At least one of the authors is required to register for the conference and present the accepted paper.

The FMCAD program will include 31 regular talks, and will feature 4 tutorials and
3 invited talks.

The tutorials:
• "Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for 
   the Model-Checking Research Community" by The NSF:CCRI Project Investigators 
   (Rozier, Shankar, Tinelli, Vardi)
• "MiniZinc for Formal Methods" by Peter J. Stuckey • "Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT" by Shaowei Cai • "NASA’s core Flight System Framework Overview / Tutorial" by David Swartwout

The invited talks:

• "Reasoning about quantifiers in SMT: the QSMA algorithm" by Maria Paola Bonacina • "Distribution Testing: The New Frontier for Formal Methods" by Kuldeep Meel • "Formal Methods for Trusted AI" by Bettina Könighofer

The full program is available at


FMCAD will take place at Reiman Gardens (https://www.reimangardens.com/), Ames, IA, USA –  a living garden, always changing, adapting, evolving with the seasons and with its annual theme. It’s a natural, sustainable canvas that landscape and horticultural artists constantly reinvent.


Continuing the tradition of the previous years, FMCAD 2023 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. This year, the forum will feature 15 talks.

15th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2023): 
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php