jyotirmoy's list | timeline 

Bookmark and Share AddThis Feed Button iCalendar

Formal verification, Software Engineering, Model Checking, Software verification, Program analysis, Static analysis, Concurrency, Hardware Verification, Automata Theory

 Sort by 
Event When Where Deadline
SETP 2010 2010 International Conference on Software Engineering Theory and Practice
Jul 12, 2010 - Jul 14, 2010 Orlando, USA May 31, 2010
SSV 2010 5th International Workshop on Systems Software Verification
Oct 6, 2010 - Oct 7, 2010 Vancouver, BC, Canada Jun 4, 2010 (May 28, 2010)
SBMF 2010 BRAZILIAN SYMPOSIUM ON FORMAL METHODS
Nov 8, 2010 - Nov 12, 2010 Natal, Rio Grande do Norte, Brazil Jun 10, 2010
APLAS 2010 Asian Symposium on Programming Languages and Systems
Nov 29, 2010 - Dec 1, 2010 Shanghai Jun 14, 2010 (Jun 7, 2010)
AVoCS 2010 Automated Verification of Critical Systems
Sep 20, 2010 - Sep 23, 2010 dusseldorf Jun 14, 2010
SLE 2010 International Conference on Software Language Engineering
Oct 12, 2010 - Oct 13, 2010 Eindhoven, The Netherlands Jul 5, 2010 (Jun 28, 2010)
FSTTCS 2010 Foundations of Software Technology and Theoretical Computer Science
Dec 15, 2010 - Dec 18, 2010 Chennai, India Jul 7, 2010
POPL 2011 The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 26, 2011 - Jan 28, 2011 San, Diego, CA, USA Jul 15, 2010 (Jul 8, 2010)
CiSE 2010 International Conference on Computational Intelligence and Software Engineering
Dec 10, 2010 - Dec 12, 2010 Wuhan, China Jul 20, 2010
ICST 2011 Internation Conference on Software Testing, Validation and Verification
Mar 21, 2011 - Mar 25, 2011 Berlin Oct 1, 2010 (Sep 25, 2010)
SAS 2011 Static Analysis Symposium
Sep 14, 2011 - Sep 16, 2011 Venice, Italy Mar 18, 2011 (Mar 11, 2011)
first | previous | Page 1 | next | last Total of 11 CFPs in 1 pages