Synthesis

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
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 10 CFPs in 1 pages