nana's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

parallel systems, distributed systems, formal verification, distributed verification, model checking

 Sort by 
 
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
first | previous | Page 1 | next | last Total of 11 CFPs in 1 pages