Equipe LoCal

Présentation Membres Publications Séminaires Thèses Logiciels

Thèse en cours

Cohesion, Linear Logic, and Differentiation

SCHROEDER Quentin

Directeur(s): Jonas FREY, Damiano MAZZA
Date de début: 2025-09-01

Limites des modalités gradées

LAURE Thomas

Directeur(s): Flavien BREUVART, Micaela MAYERO
Date de début: 2025-09-01

Integrating Proof Production in Cylindrical Algebraic Decomposition

MASCARENHAS Tomaz

Directeur(s): Micaela MAYERO, Haniel BARBOSA
Date de début: 2025-03-03

Logique Linéaire Différentielle et Théorie des Types

KOLEILAT Jad

Directeur(s): Marie KERJEAN, Stefano GUERRINI
Date de début: 2024-09-01

Algorithms, data, and logic

MOSCA Caterina

Directeur(s): Thomas SEILLER
Date de début: 2024-09-01

Modèles de calcul(s)

LAGHJICHI Yasmine

Directeur(s): Thomas SEILLER
Date de début: 2023-10-01

Géométrie de l’Interaction Différentielle et Développement de Taylor

CATOZI Stefano

Directeur(s): Stefano GUERRINI
Date de début: 2023-09-01

Leçons de la syntaxe transcendantale: nouveaux réseaux et complexité

RAGOT Adrien

Directeur(s): Stefano GUERRINI, Thomas SEILLER
Date de début: 2022-10-01

Indexer la logique linéaire par des opérateurs différentiels

MIRWASSER Simon

Directeur(s): Marie KERJEAN, Stefano GUERRINI
Date de début: 2022-09-01