calliadiddio's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

Formal methods, Computability and Complexity, Algorithms and Security

 Sort by 
 
Event When Where Deadline
MEMOCODE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign
Jul 11, 2011 - Jul 13, 2011 Cambridge, United Kingdom Mar 4, 2011 (Feb 25, 2011)
SIGSOFT/FSE 2011 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and 13rd European Software Engineering Conference (ESEC-13)
Sep 5, 2011 - Sep 9, 2011 Szeged, Hungary Mar 11, 2011
GANDALF 2011 2nd International Symposium on Games, Automata, Logics and Formal Verification
Jun 15, 2011 - Jun 17, 2011 Minori, Amalfi Coast, Italy Mar 20, 2011 (Mar 13, 2011)
SEKE 2011 The Twenty-Third International Conference on Software Engineering and Knowledge Engineering
Jul 7, 2011 - Jul 9, 2011 Eden Roc Renaissance Miami Beach, USA Mar 22, 2011
FMICS 2011 Formal Methods for Industrial Critical Systems
Aug 29, 2011 - Aug 30, 2011 Trento Mar 25, 2011 (Mar 18, 2011)
TASE 2011 TASE 2011 - 5th IEEE International Symposium on Theoretical Aspects of Software Engineering
Aug 29, 2011 - Aug 31, 2011 Xi'an, China Apr 8, 2011 (Apr 1, 2011)
first | previous | Page 1 | next | last Total of 6 CFPs in 1 pages