CAV 2022
This Special Collection is based on work that was presented to the CAV 2022 Conference.
- Submission status
- Open
- Submission deadline
- Ongoing
Collections and calls for papers
CAV 2023
This issue includes papers that appeared in the 35th International Conference on Computer Aided Verification (CAV'23). Based on the reviews, presentation, and interaction at the conference, the chairs of the...
- Submission status
- Open
- Submission deadline
- Ongoing
FASE 22
This Special Collection is based on work that was presented to the FASE 22 Conference.
- Submission status
- Open
- Submission deadline
- Ongoing
FMCAD 2023
This issue includes papers that appeared in the 23rd IEEE Conference on Formal Methods in Computer-Aided Design (FMCAD'23). Based on the reviews, presentation, and interaction at the conference, the chairs o...
- Submission status
- Open
- Submission deadline
- Ongoing
FMCAD'22
A collection for the best selected papers from the Formal Methods in Computer-Aided Design 2022
- Submission status
- Open
- Submission deadline
- Ongoing
Special Issue in Memoriam Helmut Veith
This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Veith, who unexpectedly passed away in March 2016. Helmut Veith was a brilliant researcher, inspiring collabo...
- Submission status
- Open
- Submission deadline
- Ongoing
Special Issue in Memory of Ed Clarke
This special issue is dedicated to the memory of the former Editor in Chief Prof. Edmund M. Clarke. He was a University Professor Emeritus at Carnegie Mellon University and co-recipient of the 2007 Turing Aw...
- Submission status
- Open
- Submission deadline
- Ongoing
Special Issue: Synthesis Progress
The journal of Formal Methods in System Design is now accepting submissions to a new thematic issue, entitled "Synthesis Progress" To contribute to this special issue, select "SI: Synthesis Progress" while s...
- Submission status
- Open
- Submission deadline
- Ongoing