Propositions de stages de l'équipe Plume ( LIP ), 2008-09



Stages de Master M2 Recherche

  • Logique linéaire et système de types pour la complexité polynomiale (pdf), proposé par Patrick Baillot et Damiano Mazza (Paris 13).
  • Recherche de preuve en logique linéaire light (pdf ), proposé par Patrick Baillot et Olivier Laurent.
  • Terminaison et Complexité de Programmes avec Effets (pdf ), proposé par Roberto Amadio (Paris 7) et Patrick Baillot (lieu du stage: Univ. Paris 7 ou/et ENS Lyon).

  • Algèbres de processus et équivalences comportementales: observables, traces et coinduction (pdf), proposé par Daniel Hirschkoff et Davide Sangiorgi (Bologne).

    Stages de Licence (L3)

  • Jeux CP et coalitions (pdf), proposé par Pierre Lescanne.
  • Sémantique des jeux intuitionniste de la disjonction classique , proposé par Olivier Laurent.
  • Étude d'un Core-ML à évaluation paresseuse , proposé par Olivier Laurent.