BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:6146@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220221T000000
DTEND;TZID=Europe/Paris:20220225T000000
DTSTAMP:20241211T144310Z
URL:https://www.i2m.univ-amu.fr/evenements/logic-and-higher-structures-the
 matic-month-2022/
SUMMARY:Conference (CIRM\, Luminy\, Marseille): Logic and higher structures
  (Thematic Month 2022)
DESCRIPTION:Conference: \n\n\n\nTHEMATIC MONTH\n\n\n\n\n\n\n\n Time Schedul
 e \n\n\n\n Abstracts \n\n\n\n Participants \n\n\n\n\n\n\n\n\n\n\n\n\n\n\nH
 YBRID CONFERENCE\n​\nLogic and higher structures\nLogique et structures 
 supérieures21 - 25 February 2022\n\n\n\n\n\n\n\n\n\n\n\n\n\n\nScientific 
 Committee \nComité scientifique\nThierry Coquand (University of Gothenbur
 g)\nAndré Joyal (Université du Québec à Montréal)\nMuriel Livernet (U
 niversité de Paris)\nPhilippe Malbos (Université Lyon I)\nSamuel Mimram 
 (École Polytechnique)\n\nOrganizing Committee\nComité d'organisation\nDi
 mitri Ara (Aix-Marseille Université)\nThierry Coquand (University of Goth
 enburg)\nSamuel Mimram (École Polytechnique)\n\n\n\n\n\n\n\n\n\nDescripti
 on\n\n\n\n\n\n\n\nVoevodsky's univalent foundations program has revealed d
 eep connections between logic and homotopy theory\, in particular via high
 er 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.\nTwo mini-c
 ourses 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.\nA limited number of slots will be availa
 ble for participants to present their work related to the conference in sh
 ort contributed talks.\n\n\n\n\nLe programme de fondements univalents de V
 oevodsky 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 cate
 ́gories supérieures. Le but de cette semaine est d'explorer ces interac
 tions\, en rassemblant des mathématiciennes et mathématiciens issus de
 s communautés de la théorie des types\, de la réécriture de dimens
 ion supérieure\, de la théorie des catégories supérieures et de la
  théorie de l'homotopie.\nDeux mini-cours seront donnés : le premier p
 résentera la théorie homotopique des types et le programme de fondemen
 ts univalents de Voevodsky \; le second fournira une introduction à la t
 héorie des catégories supérieures\, notamment en direction des mode
 ̀les de la théorie homotopique des types.\nDes séances d'exposés co
 urts permettront à quelques participants de présenter leurs travaux en
  lien avec la conférence.\n\n\n\n\n\n\n\n\n\n\nMini-courses\n\nEmily Rie
 hl (Johns Hopkins University)\nEgbert Rijke (University of Ljubljana)\n\nS
 peakers\n\nAndrei Bauer (University of Ljubljana)\nUlrik Buchholtz (Techni
 sche Universität Darmstadt)\nEric Finster (University of Birmingham)\nChr
 is Kapulkin (University of Western Ontario) (TBC)\nJoachim Kock (Universit
 at Autònoma de Barcelona)\nNicolai Kraus (University of Nottingham)\nAndr
 ea Gagna (Czech Academy of Science)\nRune Haugseng (Norwegian University o
 f Science and Technology)\nLyne Moser (Max Planck Institute of Mathematics
 )\nViktoriya Ozornova (Ruhr-University Bochum)\nSimona Paoli (University o
 f Leicester)\nChristian Sattler (Chalmers University of Technology)\n\n
CATEGORIES:Colloque,Hybrid,Mois thématique
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20211031T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR