skafshar's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
CPP 2012 The Second International Conference on Certified Programs and Proofs
Dec 13, 2012 - Dec 15, 2012 Kyoto, Japan Jun 15, 2012 (Jun 8, 2012)
iFM 2013 10th International Conference on integrated Formal Methods
Jun 10, 2013 - Jun 14, 2013 Turku, Finland Jan 17, 2013 (Jan 10, 2013)
CICEM 2013 The Third Conference on Innovations in Computing and Engineering
Apr 29, 2013 - May 1, 2013 Amman, Jordan Mar 1, 2013
AT 2013 14th International Conference Approximation Theory
Apr 7, 2013 - Apr 10, 2013 San Antonio, TX, USA Mar 10, 2013
DCFS 2013 15th International Workshop on Descriptional Complexity of Formal Systems
Jul 22, 2013 - Jul 25, 2013 London, Ontario, Canada Mar 20, 2013
CMSB 2013 11th Annual Conference on Computational Methods in Systems Biology
Sep 23, 2013 - Sep 25, 2013 IST Austria, Klosterneuburg, Austria Apr 15, 2013 (Apr 8, 2013)
QuoMBaT 2013 2nd Workshop on Quality of Model-Based Testing
Jul 15, 2013 - Jul 15, 2013 Lugano Apr 29, 2013
SETECEC 2013 Second International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2013)
Jun 19, 2013 - Jun 21, 2013 Maribor, Slovenia Jun 8, 2013
ISAAC 2013 International Symposium on Algorithms and Computation
Dec 16, 2013 - Dec 18, 2013 Hong Kong Jun 15, 2013
CIMTA 2013 Computational Intelligence: Modeling, Techniques and Applications (CIMTA- 2013)
Sep 27, 2013 - Sep 28, 2013 Kalyani, Kolkata, India Jul 8, 2013 (May 31, 2013)
IEECYR 2013 International Electrical Engineering Conference for Young Researchers
Oct 23, 2013 - Oct 26, 2013 Cluj-Napoca, Romania Jul 25, 2013
AVOCS 2014 Automated Verification of Critical Systems
N/A N/A May 31, 2014
first | previous | Page 1 | next | last Total of 13 CFPs in 1 pages