From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10556 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Dimitri Ara Newsgroups: gmane.science.mathematics.categories Subject: Conference Logic and Higher Structures Date: Wed, 15 Sep 2021 15:37:41 +0200 Message-ID: Reply-To: Dimitri Ara Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="3788"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Fri Sep 17 02:11:51 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mR1Tq-0000jx-HY for gsmc-categories@m.gmane-mx.org; Fri, 17 Sep 2021 02:11:50 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:57294) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mR1Pw-0000EF-42; Thu, 16 Sep 2021 21:07:48 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mR1SC-0002df-O5 for categories-list@rr.mta.ca; Thu, 16 Sep 2021 21:10:08 -0300 Content-Disposition: inline Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10556 Archived-At: Dear all, This is an announcement for the conference Logic and Higher Structures 21-25 February 2022 CIRM, Marseille, France https://conferences.cirm-math.fr/2689.html 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 conference is to explore these interactions, bringing together mathematicians from the communities of type theory, higher rewriting, higher category theory and homotopy theory. The conference will consist of two mini-courses, one given by Egbert Rijke on Voedvodsky's univalent foundations and one given by Emily Riehl on higher category theory, 12 talks by invited speakers and a limited number of contributed talks for PhD students or young researchers. This conference is part of a thematic month entitled Logic and Interactions that will be held at the CIRM, Marseille, France, from January 24 to February 25 2022. Here is the webpage of this month: https://conferences.cirm-math.fr/2507.html * Mini-courses: Emily Riehl Egbert Rijke * Speakers: Andrej Bauer Ulrik Buchholtz Eric Finster Chris Kapulkin (TBC) Joachim Kock Nicolai Kraus Andrea Gagna Rune Haugseng Lyne Moser Viktoriya Ozornova Simona Paoli Christian Sattler Registration ============ Participation is free, and we expect to fund the accommodation of all participants requiring it, as well as providing a limited number of travel grants. See the "Funding" section below. Please pre-register early on the website https://conferences.cirm-math.fr/2689.html if you are interested in attending, as this will help us organize the event in the best conditions. A first round of travel grants will be attributed in October. Funding ======= We plan to fund the accommodation of any participant, within the limits of the capacity of the CIRM and of our budget. If you have available funding, allowing you to pay for your own accommodation, please let us know nonetheless: this will allow us to allocate more of our own funding to other participants. The details of your accommodation will be managed by the CIRM. We also plan to offer a limited number of travel grants, mainly targeted at young researchers (master or PhD students, postdocs) attending several consecutive weeks or even the whole session of the thematic month: you can apply for such a grant in the pre-registration form. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]