[TYPES/announce] FMCAD 2023: Call for Participation

[Nadel, Alexander]

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

Ames, Iowa, USA
October 23-27, 2023

https://urldefense.com/v3/__https://fmcad.org/FMCAD23/__;!!IBzWLUs!R4lGg-eTpQwqJHOb_J19XQFR-Ox-Qf7ZeMSqbWBYI9mNSBagv5BWqn6c0On2ObsuW6U4j5boLAdmFiVOmxTrRI1N-iVbSmoBCLb_ImFM$ 

REGISTRATION
------------

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

https://urldefense.com/v3/__https://fmcad.org/FMCAD23/registration/__;!!IBzWLUs!R4lGg-eTpQwqJHOb_J19XQFR-Ox-Qf7ZeMSqbWBYI9mNSBagv5BWqn6c0On2ObsuW6U4j5boLAdmFiVOmxTrRI1N-iVbSmoBCDcQjuvW$ 


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://urldefense.com/v3/__https://fmcad.org/FMCAD23/program/__;!!IBzWLUs!R4lGg-eTpQwqJHOb_J19XQFR-Ox-Qf7ZeMSqbWBYI9mNSBagv5BWqn6c0On2ObsuW6U4j5boLAdmFiVOmxTrRI1N-iVbSmoBCLChZUSK$ 


VENUE
-----

FMCAD will take place at Reiman Gardens (https://urldefense.com/v3/__https://www.reimangardens.com/__;!!IBzWLUs!R4lGg-eTpQwqJHOb_J19XQFR-Ox-Qf7ZeMSqbWBYI9mNSBagv5BWqn6c0On2ObsuW6U4j5boLAdmFiVOmxTrRI1N-iVbSmoBCBL-v1tA$ ), 
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://urldefense.com/v3/__https://homepage.cs.uiowa.edu/*ajreynol/VSTTE2023/__;fg!!IBzWLUs!R4lGg-eTpQwqJHOb_J19XQFR-Ox-Qf7ZeMSqbWBYI9mNSBagv5BWqn6c0On2ObsuW6U4j5boLAdmFiVOmxTrRI1N-iVbSmoBCODvG5aI$ 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.