Formal Verification Conferences and Journals

NameDeadlineObjectives
USENIX 2008 Jan. 7, 2008USENIX Annual Technical Conference
SAT 2008 Jan. 26, 2008Satisifability
SAS 2008 Jan. 26, 2008Static Analysis
CAV 2008 Jan. 28, 2008Computer Aided Verification
USENIX Security 2008Jan. 30, 2008USENIX Security Symposium
ICALP 2008 Feb. 10, 2008Automata, Languages and Programming
MEMOCODE Feb. 15, 2008Formal Methods and Models for Codesign
IJCAR 2008 Mar. 3, 2008Automated Reasoning
FSE 2008 Mar. 7, 2008Software Engineering
ASE 2008 Mar. 28, 2008Automated Software Engineering
SPIN 2008 Apr. 2, 2008Model Checking Software
CSL 2008 Apr. 7, 2008Computer Science and Logic
CONCUR 2008 Apr. 11, 2008Concurrency Theory
ICCAD 2008 Apr. 14, 2008Computer-Aided Design
SMT 2008 Apr. 23, 2008Decision Procedures (PDPAR)
VSTTE 2008 Apr. 30, 2008Software Verification
FMCAD 2008 May 12, 2008Formal Verification
POPL 2009 Jul. 8, 2008Programming Languages
ASP-DAC 2009 Jul. 14, 2008Design Automation
VLSI 2009 Jul. 17, 2008VLSI, Embedded Systems
VMCAI 2009 Aug. 22, 2008Verification, Model Checking, Abstract Interpretation
DATE 2009 Sep. 7, 2008Design Automation and Test
IFM 2009 Sep. 18, 2008Integrated Formal Methods
TACAS 2009 Oct. 2, 2008Tools and Algorithms for the Analysis of Systems
PLDI 2009 Nov. 7, 2008Programming Language Design and Implementation
DAC 2009 Dec. 19, 2008Design Automation