[TYPES/announce] Logic and Interactions 2022 (Marseille, France) -- Early announcement

[Gabriel Scherer]

Dear announcements list,
I'm sending this message on behalf of Lionel Vaux.

[ 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210604/9da04f92/attachment-0001.htm>