| Titre (cliquez pour la description) | Co | Lieu | Attribué à | Début |
| Outils d'analyse de la sécurité de programmes évolutifs (modélisé en UMLsec) (3 sujets) | HTO | Open Univ | Sep 09 |
| Titre (cliquez pour la description) | Co | Lieu | Attribué à | Début |
| Correction de la securite par aspects sur modele UML | HTO | Open Univ | Lionel MONTRIEUX | Sep 08 |
| Méthodologie de développement multi-agents de controleurs de vol de satellites | ACS | SpaceBel | Daniel FEDUNIAK | Sep 08 |
| Méthodologie de développement de systèmes d'information multi-agents | IIIA, Barcelona | Thomas CORNET | Sep07 | |
| Apprentissage automatique en biologie moléculaire | CLa | BioXpr | Jean-Claude MONNEAUX | Sep03 |
| Recherche encapsulée pour résolution de contraintes | GSC | Karim AMEZOUJ | Avr05 |