Formal Verification Conferences and Journals 2005

NameDeadlineObjectives
LICS 2005 Jan. 5, 2005Logic in Computer Science
CBSE 2005 Jan. 7, 2005Component-based Software Engineering
TGC 2005 Jan. 14, 2005Trustworthy Global Computing
CAV 2005 Jan. 21, 2005Computer-Aided Verification
FM 2005 Jan. 24, 2005Formal Methods
ICALP 2005 Feb. 13, 2005Automata, Languages and Programming
SAT 2005 Feb. 20, 2005Satisfiability Testing
MEMOCODE Mar. 15, 2005Formal Methods and Models for Codesign
CHARME 2005 Apr. 8, 2005Design and Verification of Hardware
SPIN 2005 Apr. 11, 2005Software Model Checking
ICCAD 2005 Apr. 20, 2005Computer-Aided Design
BMC 2005 May 1, 2005Bounded Model Checking
ICCD 2005 May 13, 2005Computer Design
SOFTMC 2005 May 19, 2005Software Model Checking
ICFEM 2005 May 20, 2005Formal Engineering Methods
FMSE 2005June 3, 2005Formal Methods in Security Engineering
HLDVT 2005 Apr. 23, 2005Microelectronic design, verification, and test
VMCAI 2006 Sep. 25, 2005Verification, Model Checking, Abstract Interpretation
ICSE 2006 Sep. 9, 2005Software Engineering
IBMSep. 9, 2005Verification
DATE 06 Sep. 11, 2005Design Automation
TACAS 2006 Oct. 14, 2005Construction and Analysis of Systems
DCC 2006 Nov. 12, 2005Designing correct circuits
SPIN 2006 Dec. 2, 2005Software Model Checking
DAC 2006 Dec. 19, 2005Design Automation

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