 |
Steering Committee
- Franck Cassez (IRCCyN, Nantes, F)
- Jean-Michel Couvreur (LIFO, Orléans, F)
- Thierry Jéron (INRIA, Rennes, F)
- François Laroussinie (LIAFA, Paris, F)
- Mark D. Ryan (Univ. Birmingham, GB)
- Grégoire Sutre (LaBRI, Bordeaux, F)
|
Program Committee
- Luca de Alfaro (UC Santa Cruz, USA)
- Patricia Bouyer (LSV, Cachan, F)
- Ahmed Bouajjani (LIAFA, Paris, F)
- Ed Brinksma (ESI & Univ. Twente, NL)
- Giorgio Delzanno (Univ. Genova, I)
- Alain Griffault (LaBRI, Bordeaux, F)
- Thomas A. Henzinger (EPFL, Lauzanne, CH)
- Claude Jard (IRISA, Rennes, F)
- Petr Jančar (VŠB-TU, Ostrava, CZ)
- Kim Larsen (Aalborg Univ., DK)
- Gavin Lowe (Oxford Univ., GB)
- Rupak Majumdar (UC Los Angeles, USA)
- Markus Müller-Olm (Univ. Münster, D)
- John Mullins (EPM, Montréal, CDN)
- Damian Niwinski (Univesity Warsaw, P)
- Jean-Francois Raskin (ULB, Bruxelles, B)
- Olivier Roux (Irccyn, Nantes, F)
- Brigitte Rozoy (LRI, Orsay, F)
- Rodolphe Sepulchre (Univ. Liège, B)
- Joseph Sifakis (VERIMAG, Grenoble, F)
- Jeremy Sproston (University Torino, I)
|
Local Organisation
- Siva Anantharaman (LIFO, Orléans, F)
- Radia Benheddi (LIFO, Orléans, F)
- Jean-Michel Couvreur (LIFO, Orléans, F)
- Marie-Agnès Gheeraert (CRI, Orléans, F)
- Chantal Guillaumet (LIFO, Orléans, F)
- Sylvie Haouy-Maure (LIFO, Orléans, F)
- Thierry Jéron (INRIA, Rennes, F)
- Sébastien Limet (LIFO, Orléans, F)
- Matthieu Lopez (LIFO, Orléans, F)
- Frédéric Loulergue (LIFO, Orléans, F)
- Duy Tung Nguyen (LIFO, Orléans, F)
- Pierre Pillot (LIFO, Orléans, F)
- Catherine Tallon (CRI, Orléans, F)
- Alexandre Tessier (LIFO, Orléans, F)
- Julien Tesson (LIFO, Orléans, F)
|
|
|
| |
 |
 March 31, 2008:
Opening of registraton |
May 12, 2008:
Submission deadline |
May 12 , 2008:
End of registration |
June 23-27, 2008:
Summer school |
| |
 |
| |
 June 23-27, 2008:
Summer school |
| |
| |
|
