LoCal : Logique et Calcul

Responsable : Thomas Seiller

Les séminaires et autres évènements sont visibles sur le calendrier partagé de l’équipe.

Thèmes de l’équipe

L’équipe LoCal (Logique et Calcul) a été créée au 1er janvier 2025, suite à la séparation de l’ancienne équipe LoVe (Logique et Vérification) selon les deux axes historiques de recherche de cette dernière (axe Logique, axe Vérification). Les thèmes de recherche de l’équipe LoCal sont la logique et/ou la complexité.

Plus précisément, cela couvre:

• la théorie de la programmation et la correspondance preuve-programme,
• la sémantique: des languages de programmation, de la logique linéaire, de la théorie des types,
• la théorie des catégories, notamment les topos et les catégories supérieures,
• la formalisation des mathématiques, notamment l’analyse,
• les approches de la complexité ayant trait, ou non, à la logique (complexité implicite, complexité descriptive, complexité algébrique, complexité de Kolmogorov).