english only
EPFL > I&C > Tresor > Events
RESOURCES
Home
People
Seminars
Courses
Research Topics
Events
Useful Links

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
events [2008/02/01 12:24]
kuncak
events [2015/01/19 09:52]
fsalvi
Line 1: Line 1:
 ====== List of Events ====== ====== List of Events ======
  
-\\ 
  
-Upcoming deadlines 
- 
-  * [[http://​www.ijcar.org/​2008/​|IJCAR 2008, Sidney, Australia]] 
-  * [[http://​www.oopsla.org/​oopsla2008/​cfp_research.html|OOPSLA 2008, Nashville]] 
-  * [[http://​www.cs.ucsd.edu/​popl/​09/​|POPL 2009, Savannah, Georgia, USA]] 
- 
-\\ 
- 
-Upcoming conferences 
- 
-  * [[http://​pldi2008.cs.ucr.edu/​|PLDI 2008, Tucson, Arizona, USA]] 
  
 \\ \\
Line 20: Line 8:
 Past events Past events
   * [[http://​www-verimag.imag.fr/​~async/​AVM/​|Alpine Verification Meeting 2007]]   * [[http://​www-verimag.imag.fr/​~async/​AVM/​|Alpine Verification Meeting 2007]]
 +  * [[http://​www.ijcar.org/​2008/​|IJCAR 2008, Sidney, Australia]]
 +  * [[http://​www.oopsla.org/​oopsla2008/​cfp_research.html|OOPSLA 2008, Nashville]]
 +  * [[http://​www.cs.ucsd.edu/​popl/​09/​|POPL 2009, Savannah, Georgia, USA]]
 +  * [[http://​pldi2008.cs.ucr.edu/​|PLDI 2008, Tucson, Arizona, USA]]