Séminaire du 20 septembre 2002 à Paris

Journée Mathématique en l’honneur d’Albert Burroni

Lieu: Université de Paris 7, 175, rue du Chevaleret, Paris, Salle 0C02

Organisation: René Guitart

Programme
9h10. Accueil.
9h30-10h15. P. Ageron, Albert Burroni dans l’École d’Ehresmann : constructivisme et structuralisme.
10h15-11h. Y. Lafont, Théorie algébrique des circuits.
11h20-12h05. J. Penon, T-catégories représentables.
12h05-12h50. E. Burroni, Lois distributives. Application aux automates stochastiques.
14h15-15h. M. Hyland, Generalized algebra : variations on ideas of Burroni.
15h-15h45. V. Danos, Rigueur et brutalité en mathématique : la part du calcul.
16h05-16h50. G. Maltsiniotis, Homotopie et catégories.
16h50-17h35. R. Guitart, Toute théorie est algébrique.
18h. Pot, avec en entrée : René Cori, ” Stupeur sacrée ! la preuve se fait par les abîmes.”