4
2689 - CIRM Scientific Events
source link: https://conferences.cirm-math.fr/2689.html
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
CIRM Scientific Events
3 videos available for this event!
HYBRID CONFERENCELogic and higher structuresLogique et structures supérieures21 - 25 February 2022
ScientificCommittee Comité scientifiqueThierry 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 CommitteeComité d'organisationDimitri Ara (Aix-Marseille Université)Thierry Coquand (University of Gothenburg)Samuel Mimram (École Polytechnique)
Description
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.
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.
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.
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK