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 |
|