EQUIPE PREUVES, PROGRAMMES ET SYSTEMES
CNRS -- UNIVERSITE PARIS 7
04/07/2002:
Jean-Louis Krivine (PPS)
L'axiome du choix dénombrable et l'instruction 'quote'.
résumé
01/07/2002:
Eugenio Moggi (Univ. di Genova)
A Monadic Multi-Stage Metalanguage
résumé
27/06/2002:
Cosimo Laneve (Univ. di Bologna)
The solos calculus: theory and practice
résumé
26/06/2002:
Marco Pedicini (CNR, Italy)
Scheduling vs Communication in PELCR
résumé
20/06/2002:
Vincent Balat (PPS)
Normalisation par évaluation en CAML avec type somme
résumé
13/06/2002:
Ralph Matthes (PPS et Ludwig-Maximilian Univ. Munich)
Contraction-Aware Lambda-Calculus
résumé
06/06/2002: Séance double
11h: Paula Severi (University of Torino,
University of Leicester,
University of Uruguay)
An extensional Böhm model
résumé
15h: Furio Honsell (Università di Udine)
Informal seminar on models of lambda-calculi
résumé
30/05/2002: Prakash Panangaden (PPS et Université McGill)
From Logic to Stochastic Processes
résumé
23/05/2002: Alain Frisch (ENS Paris)
Sous-typage sémantique.
résumé
16/05/2002: Gordon Plotkin (LFCS, Univ. of Edinburgh)
Adequacy for Algebraic Effects.
résumé
02/05/2002: Antonino Salibra (Univ. Venezia)
Topological Incompleteness and Order Incompleteness
of the Lambda Calculus
résumé
25/04/2002: Furio Honsell (Univ. Udine)
Combining HOAS and bialgebras:
modeling fresh names using abstractions
résumé
18/04/2002: Glynn Winskel (Cambridge University Computer Laboratory)
Domain theory for concurrency
Mini-cours de deux séances: 11h-13h et 14h30-16h30
résumé
11/04/2002: Glynn Winskel (Cambridge University Computer Laboratory)
Linearity and Nonlinearity in Distributed Computation
résumé
04/04/2002: Pablo E. Martinez Lopez (Chalmers University et UNLP)
Principal Type Specialisation
résumé
22/03/2002: Yves Lafont (Faculté des Sciences de Luminy & Institut de Mathématiques de Luminy)
Théorie algébrique des circuits.
résumé
21/03/2002: Dieter Spreen (Univ. Siegen)
On Some Constructions in Quantitative Domain Theory.
résumé
14/03/2002: Claude Kirchner (LORIA et INRIA)
Le calcul de réécriture.
résumé
07/03/2002: Philippa Gardner (Imperial College)
A Spatial Logic for Querying Graphs.
résumé
14/02/2002: Vincent Danos (PPS)
Calcul de processus et biologie des réseaux.
07/02/2002: Fu Yu Xi (Shanghai Jiao Tong University)
The Theory of Chi Calculus.
résumé
31/01/2002: Cristophe Raffalli (Univ. de Savoie)
System ST, un système de type pour la
preuve ET l'extraction de programme.
résumé
24/01/2002: Xavier Leroy (INRIA Roquencourt)
Compilation efficace de la réduction forte.
résumé
17/01/2002: Wieslaw Zielonka (LIAFA)
Jeux sur les graphes.
résumé
10/01/2002: Paul Levy (PPS)
Jump-With-Argument and its Pointer Game Model.
résumé
20/12/2001: Jean-Pierre Jouannaud (LIX, Ecole Polytechnique)
Un ordre recursif sur les chemins pour les
termes et les types d'ordre superieur.
résumé
13/12/2001: Jean-Yves Girard (IML Marseille)
A l'ouest rien de nouveau
06/12/2001: Gilles Dowek (INRIA Roquencourt)
Un théorème de complétude pour une extension
de la logique du premier ordre avec des symboles
lieurs (ou mutificateurs).
résumé
29/11/2001: Gérard Boudol (INRIA Sophia-Antipolis)
Typage de la noninterférence.
résumé
22/11/2001: Vincent Danos (PPS)
Communication et Contrôle.
résumé
20/11/2001: Jerzy Tiuryn
(Univ. Varsovie)
Products and Polymorphic Subtypes.
résumé
15/11/2001: Eric Goubault (CEA)
Parallélisme et Topologie Algébrique
résumé
08/11/2001: Alexandra Bruasse Bac (IML, Marseille)
Logique Linéaire Indexée du Second Ordre.
résumé
25/10/2001: Séance double:
11h: Jérôme Vouillon (PPS)
XDuce, un langage typé pour XML
résumé
14h: Philippe Audebaud (ENS Lyon)
XSLTT : XSLT avec Types
résumé
18/10/2001: Jean Goubault (ENS Cachan)
Un theoreme simple de terminaison.
résumé
04/10/2001: Pierre Boudes (IML)
Déploiements d'hypercohérences et jeux polarisés.
résumé
20/09/2001: Samson Abramsky (Oxford Univ.)
A structural approach to reversible computation.
résumé