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

This is an old revision of the document!


====== List of Events ====== \\ \\ Past events * [[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]]