[TYPES/announce] Fwd: [gdri-ll] CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022

[Gabriel Scherer]

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

                         Call for participation

                  LOGIC AND INTERACTIONS 2022 (LI2022)

                      Winter schools and Workshops

                Monday 24 January - Friday 25 February 2022
                     CIRM, Luminy, Marseille, France

                 https://urldefense.com/v3/__https://conferences.cirm-math.fr/2507.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2Ixvvcauj_3g$ 


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 at 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 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://urldefense.com/v3/__https://conferences.cirm-math.fr/2685.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2IxvvoIgq7GA$ 

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://urldefense.com/v3/__https://www.linear-logic.org__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2IxvvWhC9vHg$ 

Week 2. Logic of Probabilistic Programming (31 January to 4 February)
        https://urldefense.com/v3/__https://conferences.cirm-math.fr/2686.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2IxvsbwuQF8g$ 

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://urldefense.com/v3/__https://conferences.cirm-math.fr/2687.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2Ixvv4XtZieg$ 

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://urldefense.com/v3/__https://conferences.cirm-math.fr/2688.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2Ixvuth-q47g$ 

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://urldefense.com/v3/__https://conferences.cirm-math.fr/2689.html__;!!IBzWLUs!EaeeGg4mREv_4DMVH_5pzJquzL1FvgQ7yv7dc-rgYgZNR-x5gpsCaj2Qb3YAMgIYTT2IxvvTRi-aIw$ 

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