LoCal: Logic and Computation

Head of team : Thomas Seiller

Seminars and other events related to the team’s activities can be found on the shared calendar.

Research topics

The LoCal team (Logic and Computation) was created on January 1st 2025, following the split of the previous LoVe team (Logic and Verification) along its two independent research axes (Logic on one hand, Verification on the other). Research in the LoCal team concerns logic and/or computational complexity.

More precisely, our research covers:

  • the theory of programming languages and the proofs-as-programs correspondence,
  • semantics: of programming languages, of linear logic, of type theory,
  • category theory, and in particular topos theory and higher categories,
  • the formalization of mathematics, and in particular numerical and functional analysis,
  • several approaches to computational complexity with, or without, relations with logic (implicit complexity, descriptive complexity, algebraic complexity, Kolmogorov complexity).

Back to Top
how to choose the best apple cider vinegar rkqfo | trisha yearwood weight loss how she lost 50 pounds w fhlht | the truth about trisha yearwood weight loss wha hp3ac | jessica simpson s 2025 weight loss jour jjgph | how rachael ray transformed her body 5 weight l psba8 | rapid weight loss 25 pounds in 2 weeks 2025 controversial carb | rachael ray weight loss the simple yet effective metho kjyte | lose weight without exercise amazing 2025 tr c4hkf | valerie bertinelli weight loss how she lost 50 pou syga1 | kelly clarkson weight loss how she achieved her | kelly clarkson weight loss a step by step guide to h b1pkg | mounjaro weight loss journey the ultimate gu j890x | how to mix apple cider vinegar for a 202 zn7y4 | trisha yearwood s 4 weight loss secre fcyin | how to lose weight without exercise pro 3fxpq | ultimate 2025 weight loss drink apple cider vinega j1vep | lisa marie presley s weight loss triumph from str n76vz |