alex_ren's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
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
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)
FSTTCS 2012 IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 15, 2012 - Dec 17, 2012 Hyderabad, India Jul 13, 2012
IEICE FA 2012 Special Section on Formal Approach, IEICE Trans
N/A N/A Jul 18, 2012
FTSCS 2012 First International Workshop on Formal Techniques for Safety-Critical Systems
Nov 12, 2012 - Nov 12, 2012 Kyoto Sep 8, 2012
PLDI 2013 34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation
Jun 16, 2013 - Jun 21, 2013 Seattle, Washington, USA Nov 11, 2012
first | previous | Page 2 | next | last Total of 123 CFPs in 7 pages