Deadline extension: 2022 Formal Methods in Computer-Aided Design (FMCAD)

[Alberto Griggio]

(Apologies for multiple copies)

==========================================================================
Deadline extension: 2022 Formal Methods in Computer-Aided Design (FMCAD)
==========================================================================

Due to a number of requests, we have decided to extend the submission
deadlines for FMCAD 2022. Here are the new dates:

Abstract Submission: *EXTENDED TO* May 15, 2022
Paper Submission: *EXTENDED TO* May 22, 2022
Author Response: *POSTPONED TO* June 29 - July 1, 2022
Author Notification: *POSTPONED TO* July 8, 2022
Camera-Ready Version: August 16, 2022

All deadlines are 11:59 pm AoE (Anywhere on Earth), and they are now *firm*

FMCAD Tutorial Day: Oct. 18, 2022
Regular Program: Oct. 19-21, 2022

The full call for papers can be found at the conference webpage

https://fmcad.forsyte.at/FMCAD22/

--
--
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.