| Début | Mercredi 24 janvier |
| Remise des rapports | Lundi 26 mars à 17 heures |
| Soutenance | Jeudi 29 mars, 10 heures, salle 076 du LaBRI |
| Exposé | 20 minutes + 10 minutes pour les questions |
| Nombre d'étudiants par groupe | Quatre |
| Pierre Castéran | Conception Formelle en PVS. |
| 10 heures | ||||||||
| Alain Griffault | AltaRica et les robots (1). |
| 10 heures 30 | ||||||||
| Alain Griffault | AltaRica et les robots (2). |
| 11 heures | ||||||||
| Kaninda Musumbu | Construction automatique de systèmes abstraits au moyen des prédicats. | ||||||||||
| Aymeric Vincent | Treillis et points fixes. |
| 11 heures 30 | ||||||||
| Marc Zeitoun | Vérification LTL pour AltaRica. |
Veuillez reporter toute erreur ou omission à Alain Griffault.
Dernière mise à jour effectuée le 20 mars 2007.