Seminars and other events can be found on the team’s shared calendar.
Team Research Themes
The LoCal (Logic and Computation) team was established on January 1, 2025, following the division of the former LoVe (Logic and Verification) team into its two historical research axes (Logic and Verification). The research themes of the LoCal team focus on logic and/or complexity.
More specifically, this covers:
- Programming theory and the proof-program correspondence,
- Semantics: of programming languages, linear logic, and type theory,
- Category theory, particularly topoi and higher categories,
- Formalization of mathematics, especially analysis,
- Approaches to complexity, whether logic-related or not (implicit complexity, descriptive complexity, algebraic complexity, Kolmogorov complexity).