Journee Mathematique en l'honneur d'Albert Burroni : Categories, theories algebriques et informatique Vendredi 20 septembre 2002 Universite Paris VII, Salle 0C02, 175, rue du Chevaleret, 75013 09h10. Accueil. 09h30-10h15. Pierre Ageron, Albert Burroni dans l'ecole d'Ehresmann : constructivisme et structuralisme. 10h15-11h. Yves Lafont, Theorie algebrique des circuits. 11h20-12h05. Jacques Penon, T-categories representables. 12h05-12h50. Elisabeth Burroni, Lois distributives. Application aux automates stochastiques. 14h15-15h. Martin Hyland, Generalized algebra : variations on ideas of Burroni. 15h-15h45. Vincent Danos, Rigueur et brutalite en mathematique : la part du calcul. 16h05-16h50. Georges Maltsiniotis, Homotopie et categories. 16h50-17h35. Rene Guitart, Toute theorie est algebrique. 18h. Pot, avec en entree : Rene Cori, " Stupeur sacree ! la preuve se fait par les abimes." Equipes de Topologie et geometrie Algebrique (UMR 7586), et de Preuves Programmes Systemes (UMR 7126) Renseignements aupres de Rene Guitart (guitart@math.jussieu.fr)