retour à la page du séminaire

EQUIPE de LOGIQUE MATHÉMATIQUE
UFR DE MATHEMATIQUES -- UNIVERSITÉ DE PARIS VII

Séminaire "Logique, Lambda-calcul et Programmation"

Responsables: C. Berline, M. Parigot, P. Roziere

Jeudi à 14h30

175 rue du Chevaleret, Paris 13ème.
Rez-de-chaussée, salle 0D4.
Prochain exposť.

Pour recevoir le programme par email: roziere@logique.jussieu.fr
Exposé des années précédentes
Séminaires sur des thèmes proches

6/01/2000 : Michel Parigot (Paris 7)
Sur l'interprétation calculatoire du raisonnement par l'absurde.
résumé

13/01/2000 : Russ Harmer
An overview of game semantics.
abstract


27/01/2000 : Helmut Schwichtenberg (Munich).
Feasible programs from proofs.
abstract

3/02/2000 : Journée commune avec PPS et ENS Ulm
deux exposés de Martin H. Escardo (LFCS Edinburgh) à 11h et 14h30, salle 0D4.



24/02/2000 : Tristan Crolard (Université de Paris 12 Creteil)
Propriété de la forme normale en Logique Soustractive
résumé

02/03/2000 : Journée commune avec PPS et ENS Ulm

T. Coquand fera également un exposé le lundi 6 mars à 14h30 au séminaire général de logique.


16/03/2000 : Gilles Dowek (Inria)
A quoi sert l'élimination des coupures en démonstration automatique ?
résumé


30/03/2000 : pas de séance (colloque à la Sorbonne)




27/04/2000 : Journée commune avec PPS et ENS Ulm


11/05/2000 : Stefano Berardi (Turin)
A domain of domains model of polymorphic systems.
abstract




8/06/2000 : Stefano Berardi (Turin)
Useless code Analysis: a position paper of Turin Logical Framework team.
abstract


Page maintenue par
roziere@logique.jussieu.fr
(envoyez-moi vos corrections éventuelles).