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

29/06/2000 : Vincent Padovani (PPS)
Retractions et Types Simples
résumé

22/06/2000 : Val Tannen (University of Pennsylvania)
Query Optimization with Chase and Backchase.
résumé

15/06/2000 : Francisco Alberti (PPS)
On linear decorations and optimising compilers.
résumé

8/06/2000 : Giuseppe Longo (ENS Paris)
Reflexions sur les incomplétudes "concrètes" de l'Arithmétique et les preuves prototypes.
résumé

25/05/2000 : Lorenzo Tortora (PPS)
La question de l'injectivite de la semantique (denotationnelle) de la logique lineaire.
résumé

18/05/2000 : Christian Quennec (LIP6, Univ. Paris 6)
VideoC: Sa conception, ses enseignements, son futur.
résumé

11/05/2000 : pas de seance

4/05/2000 : Philippe Codognet (Univ. Paris 6 et INRIA)
Declarative Behaviors for Virtual Creatures.
résumé

27/04/2000 : Journée commune avec ELM Paris 7 et ENS Ulm

• 11h : Thomas Ehrhard (IML Marseille)
  Un théorème de complétude pour les espaces de phase produit symétriques (EPPS).
  résumé
• 14h30 : Dieter Spreen (Universität Siegen)
  An effective stable model of the calculus of construction extented by strong sums and recursive definitions.
  résumé (postscript)

20/04/2000 : Bruno Guillaume (LRI, Univ. Paris 11)
Un calcul avec substitution explicite et affaiblissement explicite.
résumé

Du 14/10/1999 au 3/04/2000