- Sujet 01: Algorithmes sur les groupes de permutations sur machines parallèles : application au cube de Rubik.
- Sujet 02: Algorithmes approchés pour la déterminisation du genre d’un graphe.
- Sujet 03: Monoïde de commutations et réseaux de tri.
- Sujet 04: Amélioration des approximations Monte Carlo du nombre d’objets dans une classe.
- Sujet 05: Temps de diffusion de messages dans un réseau anarchiste.
- Sujet 07: Pour se diriger dans les graphes.
- Sujet 08: Colorations impropres acycliques.
- Sujet 09: Graphes orientés parfaits.
- Sujet 10: Étude d’algorithmes distribués auto-stabilisants.
- Sujet 11: Recherche de symétries dans un graphe.
- Sujet 12: Probléme d´ordonancement dans les monoïdes de commutation.
- Sujet 13: Outils pour le « Data Parallel ».
- Sujet 14: Partionnement et distribution de données irrégulières sur des calculateurs parallèles MIMD à mémoire distribuée.
- Sujet 15: Etudes du modèle de programmation BSP dans le cadre de la compilation de programmes data-parallèles irréguliers.
- Sujet 16: Optimisation et parallèlisation d´un code FORTRAN 77 appliqué à la dynamique de populations parasitaires.
- Sujet 17: Etude et formalisation de agents mobiles en JAVA.
- Sujet 18: Densification et érosion de milieux poreux par méthodes de Monte-Carlo.
- Sujet 19: Déformations de surfaces par outils implicites.
- Sujet 20: Triangulation et texturation de surfaces implicites.
- Sujet 21: Echographie 3D.
- Sujet 22: etude des opérations de bases d´un modeleur géométrique discret.
- Sujet 23: Etude d´un modele de surface de forme libre.
- Sujet 24: Co-raffinement d’ensembles semi-simpliciaux.
- Sujet 25: Boustophédon et tirage aléatoire de graphes.
- Sujet 26: Visualition de réseaux d´informations et nombres de Strahler.
- Sujet 27: Composition et décomposition de constellations.
- Sujet 28: Algorithmes incrémentaux de décomposition modulaire des graphes.
- Sujet 29: Décomposition de graphes, 2-structures et produit.
- Sujet 30: Edition, visualition de graphes et d´algorithmes sur les graphes : étude de fiabilité.
- Sujet 31: Redéfinition de T-fixpoint.
- Sujet 32: Contraintes multiversion et logique modale.
- Sujet 33: Migration d’objets, contraintes d’intégrité et génération de méthodes.
- Sujet 34: Coloration distinguée.
- Sujet 35: Coloration de graphes mixtes.
- Sujet 36: Couverture par des cycles.
- Sujet 37: Algorithmes de dessin de graphes sur une sphère.
- Sujet 38: Routage compact dans les réseaux planaires.
- Sujet 39: Vérification d’un calculateur de phase de vol d’Airbus.
- Sujet 40: Vérification et test de système avec une approche hiérarchique progressive et guidée par des expressions de propriétés ou des objectifs de test.
- Sujet 41: Test d’applications réparties.
- Sujet 42: Points fixes : Descriptions et preuves dans un système d’aide à la démonstration.
- Sujet 43: Amélioration de preuves et de théorie.
- Sujet 44: Formalisation et preuves en COQ d’algorithmes de raisonnement terminologique.
- Sujet 45: ALOSE : Automatisation des logigrammes de sécurité.
- Sujet 46: Séquenceur graphique.
- Sujet 47: Optimisation d’arbres de défaillance par réécriture ascendante.
- Sujet 48: L’évaluation partielle et le système FACTOTUM.
- Sujet 49: L’évaluation paresseuse et les diagrammes binaires d’expressions.
- Sujet 50: Propriétés formelles d’un logiciel certifié.
- Sujet 51: Utilisation de la théorie algorithmique de l’adaptation en animation comportementale : conception d’un poulailler virtuel.
- Sujet 52: Lissage de surfaces discrètes au moyen de grilles euclidiennes.
- Sujet 53: Segmentation en régions au moyen de contours actifs.