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.