- English only
Lab for Automated Reasoning and Analysis LARA
Upcoming Conference Deadlines
- 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/
- 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
- Caching and Combining using Sets