Formal Verification Conferences and Journals

NameDeadlineObjectives
USENIX 2009 Jan. 7, 2009USENIX Annual Technical Conference
CAV 2009 Jan. 29, 2009Computer Aided Verification
USENIX Security 2009Feb. 4, 2009USENIX Security Symposium
ICALP 2009 Feb. 10, 2009Automata, Languages and Programming
SAS 2009 Feb. 10, 2009Static Analysis
SAT 2009 Mar. 2, 2009Satisifability
MEMOCODE 2009 Mar. 13, 2009Co-Design
FSE 2009 Mar. 16, 2009Software Engineering
SPIN 2009 Mar. 29, 2009Model Checking Software
CSL 2009 Mar. 30, 2009Computer Science and Logic
CONCUR 2009 Apr. 15, 2009Concurrency Theory
ICTAC 2009 Apr. 10, 2009Theoretical Aspects of Computing
FM 2009 May 4, 2009Formal Methods
ICCAD 2009 May 11, 2009Computer-Aided Design
ASE 2009 May 14, 2009Automated Software Engineering
SMT 2009 May 22, 2009Decision Procedures (PDPAR)
FMCAD 2009 May 22, 2009Formal Verification
POPL 2010 Jul. 8, 2009Programming Languages
ICFEM 2009 Jul. 20, 2009Formal Engineering Methods
DATE 2010 Sep. 6, 2009Design Automation and Test
ICST 2010 Oct. 10, 2009Software testing, verification, validation
TACAS 2010 Oct. 8, 2009Tools and Algorithms for the Analysis of Systems

Please send updates to Daniel Kroening, kroening@kroening.com