24 Jan-25 Feb 2021
Marseille, Frances
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<mailto: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 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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam