| Event | When | Where | Deadline | | | Expired CFPs |
| TETR 2022 |
Tetrahedron Symposium 2022 | |
| Jun 28, 2022 - Jul 1, 2022 |
Lisbon, Portugal |
Jan 28, 2022 |
| LOPSTR 2021 |
31st International Symposium on Logic-Based Program Synthesis and Transformation | |
| Sep 7, 2021 - Sep 9, 2021 |
Tallinn, Estonia and Virtual |
Jun 25, 2021 |
| SMACD 2021 |
International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design | |
| Jul 19, 2021 - Jul 22, 2021 |
Virtual event |
Mar 20, 2021 |
| HCVS 2021 |
Horn Clauses for Verification and Synthesis | |
| Mar 28, 2021 - Mar 28, 2021 |
Luxembourg |
Feb 19, 2021 |
| OVERLAY 2020 |
Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis | |
| Sep 25, 2020 - Sep 26, 2020 |
Bolzano, Italy |
Jul 3, 2020 |
| HCVS 2019 |
6th Workshop on Horn Clauses for Verification and Synthesis | |
| Apr 7, 2019 - Apr 7, 2019 |
Prague, Czech Republic |
Feb 15, 2019 |
| ICE 2018 |
11th Interaction and Concurrency Experience | |
| Jun 20, 2018 - Jun 21, 2018 |
Madrid (Spain) |
Apr 20, 2018 |
| PEACD 2017 |
Call for SPRINGER Book Chapter Proposals: ‘‘Pathological Elements in Analog Circuit Design’’ | |
| Mar 30, 2017 - Dec 5, 2017 |
SPRINGER |
Jul 15, 2017 (Mar 30, 2017) |
| LOPSTR 2014 |
24th International Symposium on Logic-Based Program Synthesis and Transformation | |
| Sep 9, 2014 - Sep 11, 2014 |
University of Kent, Canterbury, UK |
Jun 18, 2014 (Jun 11, 2014) |
| HCVS 2014 |
Workshop on Horn Clauses for Verification and Synthesis | |
| Jul 17, 2014 - Jul 17, 2014 |
Vienna, Austria |
May 1, 2014 |
| FOSSACS 2013 |
16th International Conference on Foundations of Software Science and Computation Structures | |
| Mar 16, 2013 - Mar 24, 2013 |
Rome, Italy |
Oct 14, 2012 (Oct 7, 2012) |
| MDPI AG - IJMS 2012 |
Special Issue: Molecular Symmetry - IJMS (ISSN 1422-0067) | |
| N/A |
N/A |
Jun 30, 2012 |
| CASES 2012 |
International Conference on Compilers, Architectures, and Synthesis of Embedded Systems | |
| Oct 7, 2012 - Oct 12, 2012 |
Tampere, Finland |
Apr 4, 2012 (Mar 28, 2012) |
| DIFTS 2011 |
First International Workshop on Design and Implementation of Formal Tools and Systems | |
| Nov 3, 2011 - Nov 3, 2011 |
Austin, TX |
Jun 6, 2011 (May 30, 2011) |
| INSC 2011 |
The International Conference for Nanomaterials Synthesis and Characterization | |
| Jul 4, 2011 - Jul 5, 2011 |
Selangor, Malaysia |
Mar 31, 2011 |
| ISOCS 2014 |
26th International Symposium on the Organic Chemistry of Sulfur | |
| Aug 24, 2014 - Aug 29, 2014 |
Istanbul / Turkey |
TBD |
|
