m_zakery's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
SEFM 2012 10th International Conference on Software Engineering and Formal Methods
Oct 1, 2012 - Oct 5, 2012 Thessaloniki, Greece Apr 19, 2012 (Apr 4, 2012)
FMCAD 2012 Formal Methods in Computer-Aided Design
Oct 22, 2012 - Oct 25, 2012 Microsoft Research Cambridge, UK May 20, 2012 (May 9, 2012)
iFM 2013 10th International Conference on integrated Formal Methods
Jun 10, 2013 - Jun 14, 2013 Turku, Finland Jan 17, 2013 (Jan 10, 2013)
ACSD 2013 13th International Conference on Application of Concurrency to System Design
Jul 8, 2013 - Jul 10, 2013 Barcelona, Spain Feb 3, 2013 (Jan 27, 2013)
FORTE / FMOODS 2013 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems
Jun 3, 2013 - Jun 6, 2013 Florence, Italy Feb 11, 2013 (Feb 4, 2013)
SEFM 2013 International Conference on Software Engineering and Formal Methods
Sep 23, 2013 - Sep 27, 2013 Madrid, Spain Apr 1, 2013 (Mar 25, 2013)
AVOCS 2014 Automated Verification of Critical Systems
N/A N/A May 31, 2014
first | previous | Page 1 | next | last Total of 7 CFPs in 1 pages