Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Last revision Both sides next revision | ||
|
conferences [2008/06/30 22:59] vkuncak created |
conferences [2008/06/30 23:12] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Upcoming Deadlines ====== | + | ====== Upcoming Conference Deadlines ====== |
| * VMCAI papers: August 22, 2008, http://cs.uni-muenster.de/vmcai09/index.php | * VMCAI papers: August 22, 2008, http://cs.uni-muenster.de/vmcai09/index.php | ||
| * PLDI papers: November 7, 2008, http://www-plan.cs.colorado.edu/~pldi09/ | * PLDI papers: November 7, 2008, http://www-plan.cs.colorado.edu/~pldi09/ | ||
| * ETAPS abstracts: November 2, 2008, http://www.cs.york.ac.uk/etaps09/ | * ETAPS abstracts: November 2, 2008, http://www.cs.york.ac.uk/etaps09/ | ||
| + | * CADE 2009, ?, http://www.cs.mcgill.ca/~bpientka/cade09/ | ||
| + | * LICS 2009, ?, http://www.cl.cam.ac.uk/~amp12/ | ||
| + | |||
| + | ====== LARA Papers in Progress ===== | ||
| + | |||
| + | * Theories Sharing Sets | ||
| + | * Online Static Analysis | ||