FMCAD 2022: Call for participation (Early registration by September 15th)

[Alberto Griggio]

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

Trento, Italy
October 18-21, 2022

https://fmcad.org/FMCAD22/

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

Early registration deadline is September 15th, 2022.
For more information, visit:

https://fmcad.org/FMCAD22/registration/


CONFERENCE SCOPE AND PUBLICATION
--------------------------------

FMCAD 2022 is the twenty-second 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 40 regular talks, and will feature 2
invited talks and 2 tutorials.

Invited talks:

- June Andronick
The seL4 verification journey: how have the challenges and
opportunities evolved

- Hana Chockler
Why do things go wrong (or right)? Applications of causal reasoning
to verification


Tutorials:

- Håkan Hjort
On applying Model Checking in Formal Verification

- Oded Padon
Verification of Distributed Protocols: Decidable Modeling
and Invariant Inference

The full program is available at
https://easychair.org/smart-program/FMCAD2022/


VENUE
-----

FMCAD will take place at the Grand Hotel Trento, A 4 star hotel in the
historic centre of Trento, in the heart of the Italian Alps.
https://www.grandhoteltrento.com/en/


STUDENT FORUM
-------------

Continuing the tradition of the previous years, FMCAD 2022 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.

Submissions for the event must be short reports describing research
ideas or ongoing work that the student is currently pursuing, and must
be within the scope of FMCAD. Work, part of which has been previously
published, will be considered; the novel aspect to be addressed in
future work must be clearly described in such cases. All submissions
will be reviewed by a select group of FMCAD program committee members.


CO-LOCATED EVENTS
-----------------

14th International Conference on Verified Software: Theories,
Tools, and Experiments (VSTTE 2022): https://vstte22.fbk.eu/