Name | Deadline | Objectives |
---|---|---|
LICS 2007 | Jan. 15, 2007 | Logic in Computer Science |
SAT 2007 | Jan. 19, 2007 | Theory and Applications of Satisfiability Testing |
ICALP 2007 | Jan. 25, 2007 | Automata, Languages and Programming |
CAV 2007 | Jan. 28, 2007 | Computer Aided Verification |
IFM 2007 | Jan. 29, 2007 | Integrated Formal Methods |
ISSTA 2007 | Jan. 31, 2007 | Software Testing and Analysis |
Security 2007 | Feb. 1, 2007 | Security of computer systems and networks |
MEMOCODE | Feb. 3, 2007 | Formal Methods and Models for Codesign |
CADE 2007 | Feb. 16, 2007 | Automated Deduction |
SPIN 2007 | Mar. 15, 2007 | Model Checking Software |
FSE 2007 | Mar. 19, 2007 | Software Engineering |
SAS 2007 | Mar. 26, 2007 | Static Analysis |
CONCUR 2007 | Mar. 26, 2007 | Concurrency Theory |
CSL 2007 | Apr. 9, 2007 | Computer Science and Logic |
ICCAD 2007 | Apr. 11, 2007 | Computer-Aided Design |
BMC 2007 | Apr. 22, 2007 | Bounded Model Checking |
SMT 2007 | Apr. 28, 2007 | Decision Procedures (PDPAR) |
FMCAD 2007 | Apr. 30, 2007 | Formal Methods in Computer-Aided Design |
ASE 2007 | Jun. 4, 2007 | Automated Software Engineering |
HVC 2007 | Jun. 28, 2007 | Verification |
POPL 2008 | Jul. 16, 2007 | Programming Languages |
DATE 2008 | Sep. 9, 2007 | Design Automation |
VMCAI 2008 | Sep. 14, 2007 | Verification, Model Checking, Abstract Interpretation |
TACAS 2008 | Oct. 5, 2007 | Analysis of Systems |
FM 2008 | Nov. 10, 2007 | Formal Methods |
PLDI 2008 | Nov. 12, 2007 | Programming Languages |
DAC 2008 | Nov. 19, 2007 | Design Automation |
Please send updates to Daniel Kroening, kroening@kroening.com