ANR-PRELUDE
Vers une pragmatique théorique basée sur la ludique et les continuations

Réunions de travail

Première réunion 2008 autour des "calculs symétriques"

mercredi 16 janvier à l’ENS (Paris), de 10h à 17h : 29 rue d’Ulm salle de séminaire du DEC rez-de-chaussée (couloir immédiatement à droite)


Les calculs symétriques

Première réunion 2008 autour des "calculs symétriques"

mercredi 16 janvier à l’ENS (Paris), de 10h à 17h : 29 rue d’Ulm salle de séminaire du DEC rez-de-chaussée (couloir immédiatement à droite)

La journée du mercredi 16 janvier à l’ENS (Paris) sera consacrée aux "calculs symétriques" c’est-à-dire aux calculs qui traitent particulièrement de la dualité entre termes (programmes) et co-termes (contextes), comme les calculs de Curien et Herbelin et de Lambek-Grishin, et qui donc possèdent une interprétation au moyen des continuations, et questions diverses concernant les systèmes d’inférence.

Invités :
- Hugo Herbelin pour une suite à son exposé de Carry-le-Rouet où il est question de rejoindre certaines idées de la ludique !
- Lutz Strassburger qui nous parlera de l’inférence profonde,
- Kosta Dosen qui parlera de la théorie catégorielle de la démonstration
- Richard Moot qui nous parlera du calcul de Lambek-Grishin.

Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique