<div dir="ltr">Dear announcements list,<br>I'm sending this message on behalf of Lionel Vaux.<br><div class="gmail_quote">
---<br>
<br>
Call for participation<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://urldefense.com/v3/__https://conferences.cirm-math.fr/2507.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2Ixvvcauj_3g$" rel="noreferrer" target="_blank">https://conferences.cirm-math.fr/2507.html</a><br>
<br>
<br>
Pre-registration for Logic and Interaction 2022 is now open!<br>
<br>
Participation is free, and we expect to fund the accommodation of all<br>
participants requiring it, as well as providing a limited number of travel<br>
grants. See the "Funding" section below.<br>
<br>
Please pre-register early if you are interested in attending, as this will help<br>
us organize the event in the best conditions. Note that it is necessary to<br>
register for each week separately, using the registration link of the web page<br>
dedicated to that week.<br>
<br>
A first round of travel grants will be attributed in October.<br>
<br>
If you have any question regarding the event, feel free to email the<br>
organizers: <a href="mailto:li2022@listes.math.cnrs.fr" target="_blank">li2022@listes.math.cnrs.fr</a> .<br>
<br>
<br>
Description<br>
===========<br>
<br>
Logic and Interactions 2022 is a five-week session at the CIRM in Luminy<br>
(Marseille, France), on logic and its interactions in mathematics and computer<br>
science, but also in the broader perspective of its transdisciplinary nature,<br>
with connections to philosophy and linguistics. Two weeks will be organized as<br>
thematic schools targeted primarily at PhD students and non-specialist<br>
researchers. The other three will be workshops presenting the state of the art<br>
in specific areas.<br>
<br>
This is the fourth month-long session organized in Marseille on the broad topic<br>
of “logic in computer science”, following *Logic and interactions 2002*,<br>
*Geometry of computation 2006* and *Logic and Interactions 2012*. As for<br>
previous sessions, we expect this event to offer a friendly venue not only for<br>
established specialists but also for students and young researchers as well as<br>
non-specialists. In addition to the thematic schools, each week will include<br>
introductory material. We encourage colleagues, and especially students and<br>
young researchers, to attend several weeks or even the full month, in order to<br>
make the 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://urldefense.com/v3/__https://conferences.cirm-math.fr/2685.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2IxvvoIgq7GA$" 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 essential<br>
results in Linear Logic, based on an undergoing project to produce a<br>
reference textbook, within the International Research Network on Linear<br>
Logic [*].<br>
<br>
In addition to the main lectures, the week will be concluded by a series of<br>
tutorial talks on a selection of advanced subjects.<br>
<br>
[*] <a href="https://urldefense.com/v3/__https://www.linear-logic.org__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2IxvvWhC9vHg$" 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://urldefense.com/v3/__https://conferences.cirm-math.fr/2686.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2IxvsbwuQF8g$" 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 theory and<br>
denotational semantics to the foundation of formal methods for probabilistic<br>
program analysis and probabilistic system verification. It will stress the<br>
specificities of Bayesian programming and machine learning where programs<br>
represent statistical models.<br>
<br>
Week 3. Logic and Transdisciplinarity (7 to 11 February)<br>
<a href="https://urldefense.com/v3/__https://conferences.cirm-math.fr/2687.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2Ixvv4XtZieg$" 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 of logic<br>
which were an impulse for fruitful and long-lasting research at the interface<br>
between mathematics, philosophy and linguistics. During the week, seven<br>
half-days will be devoted to courses presenting selected themes on logic,<br>
philosophy and linguistics. Two afternoons will be devoted to invited talks by<br>
leading researchers in some of the areas touched during the courses.<br>
<br>
Week 4. Logic, Databases and Complexity (14 to 18 February)<br>
<a href="https://urldefense.com/v3/__https://conferences.cirm-math.fr/2688.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2Ixvuth-q47g$" rel="noreferrer" target="_blank">https://conferences.cirm-math.fr/2688.html</a><br>
<br>
This week aims at revisiting the connection between databases, complexity and<br>
logic. We will investigate the areas of database theory, descriptive complexity<br>
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://urldefense.com/v3/__https://conferences.cirm-math.fr/2689.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2IxvvTRi-aIw$" 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 theory.<br>
The goal of this week is to explore these interactions, bringing together<br>
mathematicians from the communities of type theory, higher rewriting, higher<br>
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 limited<br>
number of contributed talks.<br>
<br>
<br>
Funding<br>
=======<br>
<br>
We plan to fund the accommodation of any participant, within the limits of the<br>
capacity of the CIRM and of our budget. If you have available funding, allowing<br>
you to pay for your own accommodation, please let us know nonetheless: this<br>
will allow us to allocate more of our own funding to other participants.<br>
<br>
The details of your accommodation will be managed by the CIRM.<br>
<br>
We also plan to offer a limited number of travel grants, mainly targeted at<br>
young researchers (master or PhD students, postdocs) attending several<br>
consecutive weeks or even the whole session: you can apply for such a<br>
grant in the pre-registration form.<br>
</div></div>