PERIPATETIC SEMINAR ON SHEAVES AND LOGIC 71st meeting -- 16/17 October -- Louvain-la-Neuve Programme Saturday 09.30 Jean Benabou (Paris) TBA 10.15 Rene Lavendhomme (Louvain-la-Neuve) "Deformation of algebraic structures" 11.00 Break 11.30 Tom Leinster (Cambridge) "Homotopy algebras for operads" 12.15 Juergen Koslowski (Braunschweig) "A game-like construction on certain Chu-bicategories" 13.00 Lunch 14.30 Jiri Rosicky (Brno) "Uncountable orthogonality is a closure property" 15.15 Thomas Streicher (Darmstadt) "Impredicative implies untyped" 16.00 Break 16.30 Dominique Bourn (Dunkerque) "Malcev groupoids and realization of cohomology groups" 17.15 Anders Kock (Aarhus) "Anafunctors and fibrations" 19h Dinner Sunday 09.30 Ronnie Brown (Bangor) "The equivalence of cubical and globular infinity categories" 10.15 Anthony Bak (Bielefeld) "Global actions: the algebraic counterpart of a topological space" 11.00 Break 11.15 George Janelidze (Tbilisi) "Internal crossed modules" ----------------------------------------------------------------------- The organizers: Francis Borceux Marino Gran Mamuka Jibladze Enrico Vitale