alex_ren's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
MEMOCODE 2012 ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign
Jul 16, 2012 - Jul 18, 2012 Arlington, Virginia Mar 9, 2012 (Mar 2, 2012)
ICLP 2012 28th International Conference on Logic Programming
Sep 4, 2012 - Sep 8, 2012 Budapest, Hungary Mar 18, 2012 (Mar 11, 2012)
SPIN 2012 19th International Workshop on Model Checking Software - SPIN 2012
Jul 23, 2012 - Jul 24, 2012 Oxford Mar 30, 2012 (Mar 26, 2012)
FMICS 2012 17th International Workshop on Formal Methods for Industrial Critical Systems
Aug 27, 2012 - Aug 28, 2012 Paris, France Apr 4, 2012 (Mar 28, 2012)
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)
ATVA 2012 10th International Symposium on Automated Technology for Verification and Analysis
Oct 3, 2012 - Oct 6, 2012 Thiruvananthapuram (Trivandrum), India Apr 30, 2012
ICFEM 2012 14th International Conference on Formal Engineering Methods
Nov 12, 2012 - Nov 16, 2012 Kyoto, Japan Apr 30, 2012 (Apr 16, 2012)
FORMATS 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems
Sep 18, 2012 - Sep 20, 2012 London May 11, 2012 (May 7, 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)
GandALF 2012 Third International Symposium on Games, Automata, Logics, and Formal Verification
Sep 6, 2012 - Sep 8, 2012 Napoli, Italy May 22, 2012 (May 16, 2012)
PPDP 2012 14th International Symposium on Principles and Practice of Declarative Programming
Sep 19, 2012 - Sep 21, 2012 Leuven, Belgium May 31, 2012 (May 28, 2012)
FMSPLE 2012 Third Workshop on Formal Methods and Analysis in Software Product Line Engineering
Sep 2, 2012 - Sep 2, 2012 Salvador, Brazil Jun 1, 2012
AVOCS 2012 International Workshop on Automated Verification of Critical Systems
Sep 18, 2012 - Sep 20, 2012 Bamberg, Germany Jun 6, 2012
WS-FM 2012 9th International Workshop on Web Services and Formal Methods
Sep 6, 2012 - Sep 7, 2012 Tallinn, Estonia Jun 9, 2012 (Jun 2, 2012)
SLE 2012 5th International Conference on Software Language Engineering
Sep 25, 2012 - Sep 28, 2012 Dresden, Germany Jun 11, 2012 (Jun 4, 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)
CPA 2012 Communicating Process Architectures
Aug 26, 2012 - Aug 29, 2012 Dundee, Scotland Jun 17, 2012
TTSDP 2012 4th International Workshop on “Tools and Techniques in Software Development Process
Jun 18, 2012 - Jun 21, 2012 Salvador de Bahia, Brazil Jun 20, 2012 (Feb 20, 2012)
SEW 2012 35th IEEE Software Engineering Workshop
Oct 12, 2012 - Oct 13, 2012 Heraclion, Crete, Greece Jul 1, 2012
POPL 2013 The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 23, 2013 - Jan 25, 2013 Rome, Italy Jul 10, 2012 (Jul 6, 2012)
first | previous | Page 2 | next | last Total of 107 CFPs in 6 pages