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
natural mounjaro recipe for weight loss a safe and eff 5dlev | lose 10 pounds in a week the fastest 2gf1z | what to add to apple cider vinegar for weight loss zjqg9 | the truth behind kim kardashian s weight loss jour zsf0x | zion williamson s weight loss secrets th nmdm4 | the ultimate apple cider vinegar weight loss 4yqr6 | ozempic weight loss 2025 summer re qwne5 | mix these 3 ingredients with apple cider vinegar f fskog | unveiling kevin james secret weight | the ultimate apple cider vinegar weight loss recipe | kevin james weight loss how he found succe q0zxe | how to make the best natural mounjaro recipe f atwxa | mounjaro weight loss how this game changing drug is tr dz1iu | how megan thee stallion lost weight and boosted kdwop | john goodman weight loss how he shed 80 pounds an rnqhf | mounjaro weight loss 2025 6 month follow up study on semaglutide combina uijtj | what do you mix with apple cider vinegar to lose weight 5 p hmjjc | what is the coffee method for weight loss |