Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
conferences [2008/06/30 23:12] vkuncak |
conferences [2008/06/30 23:12] vkuncak |
||
---|---|---|---|
Line 7: | Line 7: | ||
* LICS 2009, ?, http://www.cl.cam.ac.uk/~amp12/ | * LICS 2009, ?, http://www.cl.cam.ac.uk/~amp12/ | ||
- | ====== Papers in Progress ===== | + | ====== LARA Papers in Progress ===== |
* Theories Sharing Sets | * Theories Sharing Sets | ||
* Online Static Analysis | * Online Static Analysis | ||