| Début | Lundi 31 janvier |
| Remise des rapports | Vendredi 25 mars |
| Soutenance | Jeudi 31 mars |
| Nombre d'étudiants | Trois ou Quatre (+ 1 Master 2 GL) |
| André Arnold | Vérification de programmes. |
| ||||||||||||||
|
Dépliage de réseaux de Petri généraux. |
| ||||||||||||||
| Alain Griffault | Plateforme pour jeux avec stratégies. |
| ||||||||||||||
| Nicolas Hanusse | Étude algorithmique et amélioration de la robustesse du réseau marégraphique. |
| ||||||||||||||
| Frédéric Herbreteau | Un environnement de simulation pour les programmes ELECTRE. |
| ||||||||||||||
| Kaninda Musumbu | Construction automatique de systèmes abstraits au moyen des prédicats. |
Veuillez reporter toute erreur ou omission à Alain Griffault.
Dernière mise à jour effectuée le 16 février 2005.