Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
conferences [2008/06/30 22:59] vkuncak created |
conferences [2008/06/30 23:09] vkuncak |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| * 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/ | ||