Thèses

• Thèses en cours :
  1. Sidi Ould Ehmety, ``Définition formelle d'un langage à objets parallèle et transformations de programmes'', Université de Nice-Sophia Antipolis, depuis Octobre 93.
  2. Yann Coscoy, ``Explication textuelle de preuves'', Université de Nice-Sophia Antipolis, depuis Octobre 95.
  3. Ranan Fraer, ``Environnements interactifs de vérification de programmes'', Université de Nice-Sophia Antipolis, depuis Novembre 94.
  4. Pierre Leleu, ``Syntaxe abstraite d'ordre supérieur et induction dans les théories typées'', ENPC, Paris, depuis Octobre 95.
  5. Olivier Pons, ``Aide au développement de grandes théories réutilisables dans les systèmes de preuve interactifs'', CNAM, Paris, depuis Novembre 95.
  6. Christophe Roudet, ``Conception et implantation d'un formalisme sémantique pour les transformations de programmes'', Université de Nice-Sophia Antipolis, depuis Novembre 95.
• Thèses soutenues en 1995 dans le projet
  1. Delphine Terrasse, ``Vers un environnement d'aide au développement de preuves en Sémantique Naturelle'', université de Nice, Octobre 1995.
• Les membres du projet ont participé à 3 jurys de thèse.