|
THEMATIC MONTH – MOIS THÉMATIQUE
Logic and Interactions Logique et interactions 24 January – 25 February 2022 Scientific Committee
Comité scientifique Thierry Coquand (University of Gothenburg) Organizing Committee
Comité d’organisation Nadia Creignou (Aix-Marseille Université) Local project leaders:
Laurent Regnier (Aix-Marseille Université) Lionel Vaux Auclair (Aix-Marseille Université) |
 |
Description
|
The thematic month Logic and Interations 2022 is an event proposed by the Logique de la Programmation group of the I2M, in relation with the LIS, the PPS group at IRIF, the logic group of Roma Tre university to enumerate the main partners. The goal is to establish the state of the art, train young researchers, open new research collaborations and trails in the domain of interactions between logic, philosophy and theoretical computer science, and more precisely between proof theory and formal methods. Several connected thematics will be explored, within winter schools, conferences, workshops: linear logic; logical models of reasoning and/or discourse; semantics of probabilistic programming languages with a particular focus on those used for Bayesian inference or machine learning; complexity with a particular focus on descriptive complexity, team logics and their applications to theory of databases; categorical logic, homotopy theory considered as a model of type theory, higher dimensional structures and their applications to rewriting…
|
Le mois thématique Logique et interactions 2022, proposé par l’équipe Logique de la Programmation de l’I2M en partenariat avec le LIS, l’équipe PPS de l’IRIF, l’équipe de logique de l’université Roma 3 pour citer les principaux partenaires, vise à établir l’état de l’art, former les jeunes chercheurs, ouvrir de nouvelles pistes de recherche dans le domaine des interactions de la logique mathématique avec la philosophie et l’informatique théorique, et plus précisément entre la théorie de la démonstration et les méthodes formelles. Plusieurs thématiques connexes seront ainsi explorées, sous forme d’écoles d’hiver, de colloques ou ateliers : la logique linéaire ; la modélisation logique du raisonnement et/ou du discours ; la sémantique des langages de programmation probabilistes, notamment ceux utilisés pour l’inférence bayésienne ou le machine learning ; la complexité notamment vue sous l’angle de la complexité descriptive, des « team logics » et de leurs applications à la théorie des bases de données ; la logique catégorique, la théorie de l’homotopie vue comme modélisation de la théorie des types, les structures de dimension supérieure et leurs applications en réécriture…
|
SPONSORS
 |
 Ecole thématique
|
 |
 |
 |
 ANR PRC project Probabilistic Programming Semantics (PPS)
|
  |
  |