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