Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
conferences [2008/06/30 23:09] vkuncak |
conferences [2008/06/30 23:13] 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 | ||
| Line 6: | Line 6: | ||
| * CADE 2009, ?, http://www.cs.mcgill.ca/~bpientka/cade09/ | * CADE 2009, ?, http://www.cs.mcgill.ca/~bpientka/cade09/ | ||
| * LICS 2009, ?, http://www.cl.cam.ac.uk/~amp12/ | * LICS 2009, ?, http://www.cl.cam.ac.uk/~amp12/ | ||
| + | |||
| + | ====== LARA Papers in Progress ===== | ||
| + | |||
| + | * Theories Sharing Sets | ||
| + | * Online Static Analysis | ||
| + | * Caching and Combining using Sets | ||
| + | |||