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.