Sujets
de stages de DEA proposés dans le projet PAMPA pour la rentrée 1999 et dans
le cadre de la filière "génie
logiciel et méthodes formelles" du DEA d'informatique de l'université de
Rennes 1
Thèses
proposées dans l'équipe PAMPA pour la rentrée 2000