Logic and higher structures (Thematic Month 2022)
Conference
CIRM, Luminy, Marseille
https://conferences.cirm-math.fr/2686.html
Date(s) : 21/02/2022 - 25/02/2022 iCal
0h00
HYBRID CONFERENCE
Logic and higher structures Logique et structures supérieures21 – 25 February 2022 |
Scientific Committee
Comité scientifique Thierry Coquand (University of Gothenburg) André Joyal (Université du Québec à Montréal) Muriel Livernet (Université de Paris) Philippe Malbos (Université Lyon I) Samuel Mimram (École Polytechnique) |
Organizing Committee
Comité d’organisation Dimitri Ara (Aix-Marseille Université) Thierry Coquand (University of Gothenburg) Samuel Mimram (École Polytechnique) |
Voevodsky’s univalent foundations program has revealed deep connections between logic and homotopy theory, in particular via higher category theory. The goal of this week is to explore these interactions, bringing together mathematicians from the communities of type theory, higher rewriting, higher category theory and homotopy theory. Two mini-courses will be given: the first one will present homotopy type theory and Voevodsky’s univalent foundations program; the second one will provide an introduction to the theory of higher categories, aiming in particular at models of homotopy type theory. A limited number of slots will be available for participants to present their work related to the conference in short contributed talks. |
Le programme de fondements univalents de Voevodsky a révélé de profonds liens entre la logique et la théorie de l’homotopie, notamment par l’intermédiaire de la théorie des catégories supérieures. Le but de cette semaine est d’explorer ces interactions, en rassemblant des mathématiciennes et mathématiciens issus des communautés de la théorie des types, de la réécriture de dimension supérieure, de la théorie des catégories supérieures et de la théorie de l’homotopie.
Deux mini-cours seront donnés : le premier présentera la théorie homotopique des types et le programme de fondements univalents de Voevodsky ; le second fournira une introduction à la théorie des catégories supérieures, notamment en direction des modèles de la théorie homotopique des types. Des séances d’exposés courts permettront à quelques participants de présenter leurs travaux en lien avec la conférence. |
Mini-courses
Emily Riehl (Johns Hopkins University)
Egbert Rijke (University of Ljubljana)
Speakers
Andrei Bauer (University of Ljubljana)
Ulrik Buchholtz (Technische Universität Darmstadt)
Eric Finster (University of Birmingham)
Chris Kapulkin (University of Western Ontario) (TBC)
Joachim Kock (Universitat Autònoma de Barcelona)
Nicolai Kraus (University of Nottingham)
Andrea Gagna (Czech Academy of Science)
Rune Haugseng (Norwegian University of Science and Technology)
Lyne Moser (Max Planck Institute of Mathematics)
Viktoriya Ozornova (Ruhr-University Bochum)
Simona Paoli (University of Leicester)
Christian Sattler (Chalmers University of Technology)
Catégories