Name | Deadline | Objectives | |
---|---|---|---|
POPL 2011 | Jul. 15, 2010 | Programming Languages | |
VMCAI 2011 | Aug. 29, 2010 | Verification, Model Checking, Abstract Interpretation | |
DATE 2011 | Sep. 5, 2010 | Design Automation and Test | |
ICST 2011 | Oct. 1, 2010 | Software 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.
| |||
Name | Deadline | Objectives | |
LPAR 2010 | Jan. 12, 2010 | Logic for Programming | |
CAV 2010 | Jan. 15, 2010 | Computer Aided Verification | |
IJCAR 2010 | Jan. 22, 2010 | Automated Reasoning | |
USENIX Security 2010 | Feb. 5, 2010 | USENIX Security Symposium | |
SAT 2010 | Feb. 10, 2010 | Satisifability | |
ICALP 2010 | Feb. 10, 2010 | Automata, Languages and Programming | |
MEMOCODE 2010 | Mar. 5, 2010 | Co-Design | |
FSE 2010 | Mar. 5, 2010 | Software Engineering | |
ASE 2010 | Mar. 18, 2010 | Automated Software Engineering | |
SPIN 2010 | Apr. 16, 2010 | Model Checking Software | |
ICCAD 2010 | Apr. 19, 2010 | Computer-Aided Design | |
FMCAD 2010 | May 12, 2010 | Formal Verification | |
ICFEM 2010 | Jun. 11, 2010 | Formal Engineering Methods |
Please send updates to Daniel Kroening, kroening@kroening.com