Logic and Interactions

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…