Laboratoire d'informatique de l'École polytechnique

Exposé de Olivia Caramello

Speaker: Olivia Caramello
Location: Salle Schutzenberger, LIX
Date: Mon, 5 Mar 2018, 14:00-16:00

Un groupe de travail s'est formé pour étudier les théories et les techniques (topos, topos classifiants, logique du premier ordre, catégories syntactiques,...) utilisées par O. Caramello et sa philosophie des ponts.

Le premier exposé (introductif) sera donné par Olivia Caramello elle-même le lundi 5 mars à 14h en salle Schutzenberger au Laboratoire d'Informatique de l'Ecole Polytechnique. Les horaires des autres exposés seront déterminé par les préférence du groupe formé lors du premier exposé (on vise un exposé par semaine qui aurait lieu en après midi).