From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10496 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Lionel Vaux Auclair Newsgroups: gmane.science.mathematics.categories Subject: Logic and Interactions 2022 (Marseille, France) -- Early announcement Date: Tue, 1 Jun 2021 09:49:21 +0200 Message-ID: Reply-To: Lionel Vaux Auclair Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4746"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Wed Jun 02 03:55:22 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 1loG6L-0000yE-0C for gsmc-categories@m.gmane-mx.org; Wed, 02 Jun 2021 03:55:21 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:60032) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1loG2k-0000SF-Lw; Tue, 01 Jun 2021 22:51:38 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1loG52-00025j-1R for categories-list@rr.mta.ca; Tue, 01 Jun 2021 22:54:00 -0300 Content-Disposition: inline Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10496 Archived-At: [ Please distribute, apologies for multiple postings. ] ======================================================================== EARLY ANNOUNCEMENT LOGIC AND INTERACTIONS 2022 (LI2022) WINTER SCHOOLS and WORKSHOPS Monday 24 January - Friday 25 February 2022 CIRM, Luminy, Marseille, France https://conferences.cirm-math.fr/2507.html We are delighted to announce Logic and Interactions 2022: a five week session at the CIRM in Luminy (Marseille, France), on logic and its interactions in mathematics and computer science, but also in the broader perspective of its transdisciplinary nature, with connexions to philosophy and linguistics. Two weeks will be organized as thematic schools targeted primarily at PhD students and non-specialist researchers. The other three will be workshops presenting the state of the art in specific areas. This is the fourth month-long session organized in Marseille on the broad topic of ???logic in computer science???, following *Logic and interactions 2002*, *Geometry of computation 2006* and *Logic and Interactions 2012*. As for previous sessions, we expect this event to offer a friendly venue not only for established specialists but also for students and young researchers as well as non-specialists. In addition to the thematic schools, each week will include introductory material. We encourage colleagues, and especially students and young researchers, to attend several weeks or even the full month, in order to make the most of this special occasion. Outline of the programme ======================== Week 1: Linear Logic Winter School (24 to 28 January) https://conferences.cirm-math.fr/2685.html This school will offer an introduction to the main concepts and essential results in Linear Logic, based on an undergoing project to produce a reference textbook, within the International Research Network on Linear Logic [*]. In addition to the main lectures, the week will be concluded by a series of tutorial talks on a selection of advanced subjects. [*] https://www.linear-logic.org Week 2. Logic of Probabilistic Programming (31 January to 4 February) https://conferences.cirm-math.fr/2686.html This meeting will be devoted to the applications of logic, category theory and denotational semantics to the foundation of formal methods for probabilistic program analysis and probabilistic system verification. It will stress the specificities of Bayesian programming and machine learning where programs represent statistical models. Week 3. Logic and Transdisciplinarity (7 to 11 February) https://conferences.cirm-math.fr/2687.html We will present and discuss some questions arisen from the development of logic which were an impulse for fruitful and long-lasting research at the interface between mathematics, philosophy and linguistics. During the week, seven half-days will be devoted to courses presenting selected themes on logic, philosophy and linguistics. Two afternoons will be devoted to invited talks by leading researchers in some of the areas touched during the courses. Week 4. Logic, Databases and Complexity (14 to 18 February) https://conferences.cirm-math.fr/2688.html This week aims at revisiting the connection between databases, complexity and logic. We will investigate the areas of database theory, descriptive complexity and team-based logics. The week will be organised as an informal workshop, with invited talks, introductory or specialist tutorial, and talks by the participants. Week 5. Logic and Higher Structures (21 to 25 February) https://conferences.cirm-math.fr/2689.html 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. The week will consist of two mini-courses (one on Voedvodsky's univalent foundations and one on higher category theory), invited talks and a limited number of contributed talks. Practical information ===================== We hope that the sanitary conditions will allow us to hold the event mainly in the pre-CoVid fashion: with participants attending physically at the CIRM. In any case, attending remotely will certainly be possible: the CIRM has invested a lot of efforts to make hybrid events the standard practice. Accommodation at the CIRM will be available for participants attending physically. A limited number of fundings will be available to cover the accommodation and travel expenses, especially for students. Pre-registrations will open soon. In the meantime, you can already save those weeks in your agenda. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]