[TYPES/announce] 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://urldefense.com/v3/__https://fmcad.org/FMCAD22/__;!!IBzWLUs!WBd_hKmRnrfG5x8fMq0ILkuEh52Dau3nEfAP4JfOg_lr5Qf8eT5R583249k-b8Lk91Sjrw0iROdnZ9WQBhvcz9Oh5Jjm0w$  

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

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

    https://urldefense.com/v3/__https://fmcad.org/FMCAD22/registration/__;!!IBzWLUs!WBd_hKmRnrfG5x8fMq0ILkuEh52Dau3nEfAP4JfOg_lr5Qf8eT5R583249k-b8Lk91Sjrw0iROdnZ9WQBhvcz9Pj5Yorng$  


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://urldefense.com/v3/__https://easychair.org/smart-program/FMCAD2022/__;!!IBzWLUs!WBd_hKmRnrfG5x8fMq0ILkuEh52Dau3nEfAP4JfOg_lr5Qf8eT5R583249k-b8Lk91Sjrw0iROdnZ9WQBhvcz9Og515I2w$  


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://urldefense.com/v3/__https://www.grandhoteltrento.com/en/__;!!IBzWLUs!WBd_hKmRnrfG5x8fMq0ILkuEh52Dau3nEfAP4JfOg_lr5Qf8eT5R583249k-b8Lk91Sjrw0iROdnZ9WQBhvcz9N5cQ_H3Q$  


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://urldefense.com/v3/__https://vstte22.fbk.eu/__;!!IBzWLUs!WBd_hKmRnrfG5x8fMq0ILkuEh52Dau3nEfAP4JfOg_lr5Qf8eT5R583249k-b8Lk91Sjrw0iROdnZ9WQBhvcz9MP2i1FFA$  


-- 
--
Le informazioni contenute nella presente comunicazione sono di natura 
privata e come tali sono da considerarsi riservate ed indirizzate 
esclusivamente ai destinatari indicati e per le finalità strettamente 
legate al relativo contenuto. Se avete ricevuto questo messaggio per 
errore, vi preghiamo di eliminarlo e di inviare una comunicazione 
all’indirizzo e-mail del mittente.

--
The information transmitted is 
intended only for the person or entity to which it is addressed and may 
contain confidential and/or privileged material. If you received this in 
error, please contact the sender and delete the material.