Formal Verification Conferences and Journals

NameDeadlineObjectives
LICS 2007 Jan. 15, 2007Logic in Computer Science
SAT 2007 Jan. 19, 2007Theory and Applications of Satisfiability Testing
ICALP 2007 Jan. 25, 2007Automata, Languages and Programming
CAV 2007 Jan. 28, 2007Computer Aided Verification
IFM 2007 Jan. 29, 2007Integrated Formal Methods
ISSTA 2007 Jan. 31, 2007Software Testing and Analysis
Security 2007 Feb. 1, 2007Security of computer systems and networks
MEMOCODE Feb. 3, 2007Formal Methods and Models for Codesign
CADE 2007 Feb. 16, 2007Automated Deduction
SPIN 2007 Mar. 15, 2007Model Checking Software
FSE 2007 Mar. 19, 2007Software Engineering
SAS 2007 Mar. 26, 2007Static Analysis
CONCUR 2007 Mar. 26, 2007Concurrency Theory
CSL 2007 Apr. 9, 2007Computer Science and Logic
ICCAD 2007 Apr. 11, 2007Computer-Aided Design
BMC 2007 Apr. 22, 2007Bounded Model Checking
SMT 2007 Apr. 28, 2007Decision Procedures (PDPAR)
FMCAD 2007 Apr. 30, 2007Formal Methods in Computer-Aided Design
ASE 2007 Jun. 4, 2007Automated Software Engineering
HVC 2007 Jun. 28, 2007Verification
POPL 2008 Jul. 16, 2007Programming Languages
DATE 2008 Sep. 9, 2007Design Automation
VMCAI 2008 Sep. 14, 2007Verification, Model Checking, Abstract Interpretation
TACAS 2008 Oct. 5, 2007Analysis of Systems
FM 2008 Nov. 10, 2007Formal Methods
PLDI 2008 Nov. 12, 2007Programming Languages
DAC 2008 Nov. 19, 2007Design Automation

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