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).