11h00
- Présentation du langage HLL (Marc Chavierini)
- De HLL à DMC (Nathalie Chabrier)
- 4 niveaux de "model checking" (François Fages)
- HLL et pi-calcul (Vincent Danos)
- Questions diverses
19h00