23-27 October 2023
CALL FOR PARTICIPATION ====================================================== 2023 Formal Methods in Computer-Aided Design (FMCAD) ====================================================== Ames, Iowa, USA October 23-27, 2023 https://fmcad.org/FMCAD23/ REGISTRATION ------------ Early registration deadline is September 28th, 2023. For more information, visit: https://fmcad.org/FMCAD23/registration/ CONFERENCE SCOPE AND PUBLICATION -------------------------------- 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. PROGRAM ------- 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 https://fmcad.org/FMCAD23/program/ VENUE ----- 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. STUDENT FORUM ------------- 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. CO-LOCATED EVENTS ----------------- 15th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2023): https://homepage.cs.uiowa.edu/~ajreynol/VSTTE2023/ -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php