2027, Semester 1
Marcelo Fiore (Chair) and Lionel Vaux Auclair (Local Project Leader)
Two and Higher Dimensional Structure in Computation and Logic
Structures de dimension deux et supérieure pour la logique et le calcul
January to June 2027
University of Cambridge
Institut de Mathématiques de Marseille, Aix-Marseille Université
Marcelo Fiore is Professor in Mathematical Foundations of Computer Science at the University of Cambridge. His work focuses on the semantics of programming languages, categorical algebra and logic, and type theory, and has been applied, by himself and others, to a wide variety of areas in mathematics (algebraic theories, higher-dimensional category theory, sheaf theory) and theoretical computer science (computer formalization, concurrency theory, the Curry- Howard/de Bruijn correspondence, domain theory, equational logics, functional programming, game semantics, process algebra, programming-language theory, type theory).
Lionel Vaux Auclair is maître de conférences in Mathematics. His research is mainly in proof theory and programming language theory, with a focus on linear logic, the λ-calculus and their operational and denotational semantics. From 2018 to 2025, Lionel Vaux Auclair has been the leader of team Logique de la Programmation (LdP) at the I2M, which is known as the epicenter of Linear Logic (LL), as it was founded by Jean-Yves Girard.
SCIENTIFIC PROGRAM
Oftentimes, mathematical development happens at the intersection of and interaction between research in different areas. This is usually triggered by unexpected connections that may take the form of general patterns and analogies, shared structure, and transfer of techniques and theorems. Within this paradigm, the Jean Morlet Chair Semester pursues a research programme in logic and computation centered around developments in the areas of: logical systems and type theories; categorical and homotopical algebra; models of computation; structural combinatorics; and mathematical formalization.
Interfacing models and formalizations of type theories
Interface entre les modèles et les formalismes des théories des types
22 – 26 March, 2027
Two and higher dimensional models of computation and logic
Modèles de dimension deux ou supérieure de la logique et du calcul
03 – 07 May, 2027
Two and higher dimensional structures
Structures de dimension deux ou supérieure
10 – 14 May, 2027
Algebraic theories, cartesian 2-rigs, and para-toposes
Théories algébriques, 2-semi-anneaux cartésiens et para-topoï
19 – 30 April, 2027
Differential calculus and analytic functors
Calcul différentiel et foncteurs analytiques
14 – 25 June, 2027
Species in combinatorics and semantics
Espèces en combinatoire et en sémantique
7 – 11 June, 2027
Guests in residence during the semester
Invités du semestre
SPONSORS
