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.