<div dir="ltr"><div>Dear announcements list,</div><div>I'm sending this message on behalf of Lionel Vaux.</div><div><br></div>
[ Please distribute, apologies for multiple postings. ]<br>
<br>
========================================================================<br>
<br>
EARLY ANNOUNCEMENT<br>
<br>
LOGIC AND INTERACTIONS 2022 (LI2022)<br>
<br>
WINTER SCHOOLS and WORKSHOPS<br>
<br>
Monday 24 January - Friday 25 February 2022<br>
CIRM, Luminy, Marseille, France<br>
<br>
<a href="https://conferences.cirm-math.fr/2507.html" rel="noreferrer" target="_blank">https://conferences.cirm-math.fr/2507.html</a><br>
<br>
<br>
We are delighted to announce Logic and Interactions 2022: a five week<br>
session at the CIRM in Luminy (Marseille, France), on logic and its<br>
interactions in mathematics and computer science, but also in the<br>
broader perspective of its transdisciplinary nature, with connexions to<br>
philosophy and linguistics. Two weeks will be organized as thematic<br>
schools targeted primarily at PhD students and non-specialist<br>
researchers. The other three will be workshops presenting the state of<br>
the art in specific areas.<br>
<br>
This is the fourth month-long session organized in Marseille on the<br>
broad topic of “logic in computer science”, following *Logic and<br>
interactions 2002*, *Geometry of computation 2006* and *Logic and<br>
Interactions 2012*. As for previous sessions, we expect this event to<br>
offer a friendly venue not only for established specialists but also for<br>
students and young researchers as well as non-specialists. In addition<br>
to the thematic schools, each week will include introductory material.<br>
We encourage colleagues, and especially students and young researchers,<br>
to attend several weeks or even the full month, in order to make the<br>
most of this special occasion.<br>
<br>
<br>
Outline of the programme<br>
========================<br>
<br>
Week 1: Linear Logic Winter School (24 to 28 January)<br>
<a href="https://conferences.cirm-math.fr/2685.html" rel="noreferrer" target="_blank">https://conferences.cirm-math.fr/2685.html</a><br>
<br>
This school will offer an introduction to the main concepts and<br>
essential results in Linear Logic, based on an undergoing project to<br>
produce a reference textbook, within the International Research Network<br>
on Linear Logic [*].<br>
<br>
In addition to the main lectures, the week will be concluded by a series<br>
of tutorial talks on a selection of advanced subjects.<br>
<br>
[*] <a href="https://www.linear-logic.org" rel="noreferrer" target="_blank">https://www.linear-logic.org</a><br>
<br>
Week 2. Logic of Probabilistic Programming (31 January to 4 February)<br>
<a href="https://conferences.cirm-math.fr/2686.html" rel="noreferrer" target="_blank">https://conferences.cirm-math.fr/2686.html</a><br>
<br>
This meeting will be devoted to the applications of logic, category<br>
theory and denotational semantics to the foundation of formal methods<br>
for probabilistic program analysis and probabilistic system<br>
verification. It will stress the specificities of Bayesian programming<br>
and machine learning where programs represent statistical models.<br>
<br>
Week 3. Logic and Transdisciplinarity (7 to 11 February)<br>
<a href="https://conferences.cirm-math.fr/2687.html" rel="noreferrer" target="_blank">https://conferences.cirm-math.fr/2687.html</a><br>
<br>
We will present and discuss some questions arisen from the development<br>
of logic which were an impulse for fruitful and long-lasting research at<br>
the interface between mathematics, philosophy and linguistics. During<br>
the week, seven half-days will be devoted to courses presenting selected<br>
themes on logic, philosophy and linguistics. Two afternoons will be<br>
devoted to invited talks by leading researchers in some of the areas<br>
touched during the courses.<br>
<br>
Week 4. Logic, Databases and Complexity (14 to 18 February)<br>
<a href="https://conferences.cirm-math.fr/2688.html" rel="noreferrer" target="_blank">https://conferences.cirm-math.fr/2688.html</a><br>
<br>
This week aims at revisiting the connection between databases,<br>
complexity and logic. We will investigate the areas of database theory,<br>
descriptive complexity and team-based logics.<br>
<br>
The week will be organised as an informal workshop, with invited talks,<br>
introductory or specialist tutorial, and talks by the participants.<br>
<br>
Week 5. Logic and Higher Structures (21 to 25 February)<br>
<a href="https://conferences.cirm-math.fr/2689.html" rel="noreferrer" target="_blank">https://conferences.cirm-math.fr/2689.html</a><br>
<br>
Voevodsky's univalent foundations program has revealed deep connections<br>
between logic and homotopy theory, in particular via higher category<br>
theory. The goal of this week is to explore these interactions, bringing<br>
together mathematicians from the communities of type theory, higher<br>
rewriting, higher category theory and homotopy theory.<br>
<br>
The week will consist of two mini-courses (one on Voedvodsky's univalent<br>
foundations and one on higher category theory), invited talks and a<br>
limited number of contributed talks.<br>
<br>
<br>
Practical information<br>
=====================<br>
<br>
We hope that the sanitary conditions will allow us to hold the event<br>
mainly in the pre-CoVid fashion: with participants attending physically<br>
at the CIRM. In any case, attending remotely will certainly be possible:<br>
the CIRM has invested a lot of efforts to make hybrid events the<br>
standard practice.<br>
<br>
Accommodation at the CIRM will be available for participants attending<br>
physically. A limited number of fundings will be available to cover the<br>
accommodation and travel expenses, especially for students.<br>
<br>
Pre-registrations will open soon. In the meantime, you can already save<br>
those weeks in your agenda.<br>
</div>