Paul-André Melliès Chargé de Recherches CNRS Équipe PPS (Preuves Programmes Systèmes) CNRS UMR 7126 Université Paris 7 2, place Jussieu Case 7014 75251 Paris Cedex 05 FRANCE email: mellies@pps.jussieu.fr bu-ro: 5A35 (5ème étage, plateau A) phone: 00 33 1 44 27 86 79 f a x: 00 33 1 44 27 86 54 photo: here i am (blurred)

Ecole de Printemps en Informatique Théorique 2006

J'organise avec Anca Muscholl la prochaine Ecole de Printemps en Informatique Théorique qui aura pour thème les Jeux en Sémantique et en Vérification. L'Ecole se déroulera sur l'Ile de Ré du Lundi 29 Mai au Vendredi 3 Juin 2006. Elle est destinée en priorité aux étudiants et aux chercheurs désireux d'aborder une nouvelle thématique. Veuillez me contacter pour toute information supplémentaire.

Séminaires et groupes de travail

• Le programme du Séminaire de l'Équipe PPS que je coordonne avec Jérôme Vouillon.
• Le programme du Groupe de Travail Sémantique que j'organise avec Antonio Bucciarelli et Russ Harmer.

Bibliothèques

• Commande PPS pour la bibliothèque de l'UFR Informatique
• Bibliothèque PPS

Enseignements

• Le cours Modèle des langages de programmation que je coordonne au Master Parisien de Recherche en Informatique.
• Le cours de sémantique des jeux au DEA Preuves et Programmation, que je donnais avec Vincent Danos (2000-2002) puis Olivier Laurent (2002-2004).
• Le cours de réécriture au DEA de Logique de Paris 7 (2001-2002).

Notes de Cours du Master

• Les transparents du cours de Lundi 7 Novembre sur les espaces de cohérence, les fonctions stables, et la construction exponentielle, se trouvent ici.

Travaux et publications

• Réécriture
• Sémantique des Jeux
• Réalisabilité

Recent slides

• Axiomatic Rewriting Theory VI: Residual theory revisited. Best paper award of the conference RTA 2002.
  
  
• Innocence in homotopy games. A talk at LL 2002 devoted to game semantics and linear logic.
• Axiomatic rewriting theory and explicit substitutions. An invited talk at WESTAPP 2001 devoted to explicit substitutions.
• On head-rewriting paths in the lambda-sigma-calculus. A talk at HOR 2002 devoted to higher-order rewriting.

Back to the Équipe PPS home page.