Formal Verification Conferences and Journals

NameDeadlineObjectives
CAV 2006 Jan. 27, 2006Computer-aided Verification
Security 2006 Feb. 1, 2006Security of computer systems and networks
LICS 2006 Feb. 3, 2006Logic in Computer Science
ICALP 2006 Feb. 10, 2006Automata, Languages and Programming
FM 2006 Feb. 24, 2006Formal Methods
SAT 2006 Mar. 10, 2006Satisfiability Testing
MEMOCODE Mar. 26, 2006Formal Methods and Models for Codesign
SAS 2006 Apr. 14, 2006Static Analysis
ICCAD 2006 Apr. 19, 2006Computer-Aided Design
FMCAD 2006 Apr. 24, 2006Formal Methods in Computer-Aided Design
ISOLA 2006 June 15, 2006Formal Methods, Verification and Validation
POPL 2007 July 15, 2006Principles of Programming Languages
HLVDT 2006 June 17, 2006Verification and Testing
ICSE 2007 Sep. 8, 2006Software Engineering
VMCAI 2007 Sep. 8, 2006Verification, Model Checking and Abstract Interpretation
TAP 2007 Sep. 30, 2006Tests and Proofs
TACAS 2007 Oct. 6, 2006Construction and Verification of Systems
DAC 2007 Nov. 20, 2006Design Automation

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