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] (current) 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 | ||
+ | |||