Name | Deadline | Objectives |
---|---|---|
CAV 2006 | Jan. 27, 2006 | Computer-aided Verification |
Security 2006 | Feb. 1, 2006 | Security of computer systems and networks |
LICS 2006 | Feb. 3, 2006 | Logic in Computer Science |
ICALP 2006 | Feb. 10, 2006 | Automata, Languages and Programming |
FM 2006 | Feb. 24, 2006 | Formal Methods |
SAT 2006 | Mar. 10, 2006 | Satisfiability Testing |
MEMOCODE | Mar. 26, 2006 | Formal Methods and Models for Codesign |
SAS 2006 | Apr. 14, 2006 | Static Analysis |
ICCAD 2006 | Apr. 19, 2006 | Computer-Aided Design |
FMCAD 2006 | Apr. 24, 2006 | Formal Methods in Computer-Aided Design |
ISOLA 2006 | June 15, 2006 | Formal Methods, Verification and Validation |
POPL 2007 | July 15, 2006 | Principles of Programming Languages |
HLVDT 2006 | June 17, 2006 | Verification and Testing |
ICSE 2007 | Sep. 8, 2006 | Software Engineering |
VMCAI 2007 | Sep. 8, 2006 | Verification, Model Checking and Abstract Interpretation |
TAP 2007 | Sep. 30, 2006 | Tests and Proofs |
TACAS 2007 | Oct. 6, 2006 | Construction and Verification of Systems |
DAC 2007 | Nov. 20, 2006 | Design Automation |
Please send updates to Daniel Kroening, kroening@kroening.com