Formal Verification Conferences and Journals

NameDeadlineObjectives
POPL 2011 Jul. 15, 2010Programming Languages
VMCAI 2011 Aug. 29, 2010Verification, Model Checking, Abstract Interpretation
DATE 2011 Sep. 5, 2010Design Automation and Test
ICST 2011 Oct. 1, 2010Software testing, verification, validation
TACAS 2011 ? Tools and Algorithms for the Analysis of Systems

Archive 1998, Archive 1999, Archive 2000, Archive 2001, Archive 2002, Archive 2003,
Archive 2004, Archive 2005, Archive 2006, Archive 2007, Archive 2008, Archive 2009.


NameDeadlineObjectives
LPAR 2010 Jan. 12, 2010Logic for Programming
CAV 2010 Jan. 15, 2010Computer Aided Verification
IJCAR 2010 Jan. 22, 2010Automated Reasoning
USENIX Security 2010Feb. 5, 2010USENIX Security Symposium
SAT 2010 Feb. 10, 2010Satisifability
ICALP 2010 Feb. 10, 2010Automata, Languages and Programming
MEMOCODE 2010 Mar. 5, 2010Co-Design
FSE 2010 Mar. 5, 2010Software Engineering
ASE 2010 Mar. 18, 2010Automated Software Engineering
SPIN 2010 Apr. 16, 2010Model Checking Software
ICCAD 2010 Apr. 19, 2010Computer-Aided Design
FMCAD 2010 May 12, 2010Formal Verification
ICFEM 2010 Jun. 11, 2010Formal Engineering Methods

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