Synthesis

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
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
first | previous | Page 1 | next | last Total of 18 CFPs in 1 pages