LI2022 Schools & Workshops

                          Call for participation

           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

Pre-registration for Logic and Interaction 2022 is now open!

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 if you are interested in attending, as this will help us organize the event in the best conditions. Note that it is necessary to register for each week separately, using the registration link of the web page dedicated to that week.

A first round of travel grants will be attributed in October.

If you have any question regarding the event, feel free to email the organizers: li2022@listes.math.cnrs.fr .

Description

Logic and Interactions 2022 is 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 connections 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 n 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.

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: you can apply for such a grant in the pre-registration form.