Event | When | Where | Deadline | |
CSSim 2012 |
CSSim 2012 : 3rd International Conference on Computer Modelling and Simulation | |
Sep 3, 2012 - Sep 5, 2012 |
Brno, Czech Republic |
Jun 8, 2012 |
ICPADS 2012 |
IEEE 18th International Conference on Parallel and Distributed Systems | |
Dec 17, 2012 - Dec 19, 2012 |
Singapore |
Jun 15, 2012 |
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) |
PASM 2012 |
Sixth International Workshop on Practical Applications of Stochastic Modelling | |
Sep 17, 2012 - Sep 17, 2012 |
London, UK |
Jul 1, 2012 |
SEW 2012 |
35th IEEE Software Engineering Workshop | |
Oct 12, 2012 - Oct 13, 2012 |
Heraclion, Crete, Greece |
Jul 1, 2012 |
IEICE FA 2012 |
Special Section on Formal Approach, IEICE Trans | |
N/A |
N/A |
Jul 18, 2012 |
ICSCE 2012 |
2012 International Conference on Software and Computer Engineering | |
Oct 5, 2012 - Oct 7, 2012 |
Singapore |
Jul 25, 2012 |
FTSCS 2012 |
First International Workshop on Formal Techniques for Safety-Critical Systems | |
Nov 12, 2012 - Nov 12, 2012 |
Kyoto |
Sep 8, 2012 |
EAS 2012 |
International Conference on Engineering and Applied Science | |
Dec 27, 2012 - Dec 29, 2012 |
Colombo, Sri Lanka |
Sep 30, 2012 |
|