EQUIPE PREUVES, PROGRAMMES ET SYSTEMES
CNRS -- UNIVERSITE PARIS 7

05/07/2001: Marcelo Fiore (Univ. Cambridge)
Computing Symbolic Models for Verifying Cryptographic Protocols.
résumé

28/06/2001: Jean-Eric Pin (CNRS,LIAFA)
Caractérisations équationnelles de structures finies: de Birkhoff à Reiterman.
résumé

21/06/2001: Virgile Mogbil (IML, Marseille)
Un critère de correction quadratique pour la logique non commutative.
résumé

14/06/2001: Thierry Joly (Univ. Nijmegen)
Les types simples finiment engendrés.
résumé

07/06/2001: Ian Mackie (LIX)
Interaction Nets: theory and applications.
résumé

17/05/2001: Patrick Dehornoy (Univ. de Caen)
Presentations completes de (semi)groupes.
résumé

10/05/2001: Didier Remy (INRIA)
Héritage dans le Join Calcul
résumé

03/05/2001: Maribel Fernandez (ENS Paris)
Modeles de calcul multiparadigmes declaratifs: types, modularite, semantique.
résumé

26/04/2001: Alan Schmitt (INRIA)
Liaison dynamique et localité dans le Join Calcul.
résumé

05/04/2001: Sylvain Boulmé (Univ. Paris 6)
Vers un environnement pour spécifier, programmer et certifier (prouver) des bibliothèques de calcul formel.
résumé

29/03/2001: Vincent Danos (CNRS, PPS)
Combinateurs de contrôle.
slides

22/03/2001: Jean-Marc Andreoli (Xerox Research Centre Europe)
Construction de preuve en Logique Linéaire, et applications à la coordination dans les infrastructures pour objets répartis
résumé

08/03/2001: Luca Cardelli (Microsoft Research)
Logical Properties of Name Restriction.
résumé

01/03/2001: Juliusz Chroboczek (PPS)
Sémantique des jeux, erreurs et sous-typage .
résumé

08/02/2001: Sergei Soloviev (IRIT, Toulouse)
Coercive Subtyping and Isomorphism of Types.
résumé

01/02/2001: Didier Remy (INRIA)
Une généralisation des exceptions et des opérateurs de contrôle.
résumé

25/01/2001: Ivano Salvo (Univ. de Turin)
Security Types for Safe Mobile Ambients.
résumé

18/01/2001: Adolfo Piperno (Univ. Roma La Sapienza)
An algebraic view of the Boehm-out technique.
résumé

11/01/2001: Jerome Feret (LIENS)
Analyse de Systemes Mobiles par Interpretation Abstraite.
résumé

21/12/2000 : Cedric Fournet (Microsoft Research)
Le join calcul, un calcul pour la programmation repartie.
résumé

14/12/2000 : Paul Gastin (LIAFA)
Utilisation des traces pour une sémantique dénotationnelle
résumé

07/12/2000 : Anca Muscholl (LIAFA)
Sémantique et analyse de scénarios de diagrammes de séquence
résumé

30/11/2000 : pas de seance

23/11/2000 : Ahmed Bouajjani (LIAFA)
Vérification symbolique de systèmes infinis.
résumé

16/11/2000 : Jean-Yves Girard (Institut de Mathematiques de Luminy)
Xenoglossies

09/11/2000 : Peter Selinger (Stanford University)
Control categories and the lambda-mu calculus
résumé

02/11/2000 : pas de seance

26/10/2000 : Vincent Schächter (Hybrigenics SA)
Perspectives en bioinformatique : intégration de données hétérogènes, réseaux d'interactions.
résumé

19/10/2000 : Thomas Ehrhard (IML, Marseille)
Espaces de Köthe et logique linéaire.
résumé

12/10/2000 : pas de seance.

05/10/2000 : Ralph Matthes (LMU, Munich)
Parigot's lambda-mu-calculus and inductive types
résumé