Existential and positive games: a comonadic and axiomatic view
S. Abramsky, T. Laure, L. Reggio (2025) Existential and positive games: a comonadic and axiomatic view, Annals of Pure and Applied Logic. 2026;177(9). doi:10.1016/j.apal.2026.103775
CV
You can also download the pdf version (in French, updated June 2025).
Education
- Ph.D in Computer Science, Université Sorbonne Paris Nord, 2025 - Present.
- Masters Degree in Computer Science, Ecole Normale Supérieure, Paris, 2024.
- Bachelor Degree in Computer Science, Ecole Normale Supérieure, Paris, 2021.
Research experience
- Spring 2025: Schedule Types: Graded Types and Dependent Types
- LIPN - Université Sorbonne Paris-Nord - Equipe LoCal (ex- LoVe)
- Five month research internship
- Supervisor: Flavien Breuvart
- Fall 2024: Towards an indexed semantics for concurrent separation logic
- LIPN - Université Sorbonne Paris-Nord - Equipe LoVe
- Five month research internship
- Supervisor: Flavien Breuvart
- Spring 2024: Modeling a dependent type theory through sequential algorithms
- LMF - Ecole Normale Supérieure Paris-Saclay - Deducteam
- FIve month masters internship
- Supervisor: Valentin Blot
- Spring 2022: Relating structure and power : developments on game comonads
- University College London, Programming principles, logic and verification group
- Four month M1 internship
- Supervisor: Samson Abramsky
- Summer 2021: Study of a variation logics
- LORIA - Université de Lorraine - Equipe K
- Two month bachelor intership
- Supervisor: Jean Lieber
Events
- 34th EACSL Annual Conference on Computer Science Logic (CSL 2026)
- Local organising Comitee
- Event Website
Publications
A Logic of Propositional Variations and Its Application to Case-Based Reasoning
François N, Laure T, Lieber J. A Logic of Propositional Variations and Its Application to Case-Based Reasoning. The European Journal on Artificial Intelligence. 2026;0(0). doi:10.1177/30504554251388593
Une logique pour représenter des variations propositionnelles
Nicolas François, Thomas Laure, Jean Lieber. Une logique pour représenter des variations propositionnelles. Journées d'intelligence artificielle fondamentale -- plateforme AFIA 2023, Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.11. ⟨hal-04268839⟩
Talks
Monades et monades gradées : comment typer les effets des programmes fonctionnels
Seminar at Ecole Normale Supérieure - PSL, Paris, France
Game comonads for existential and positive equivalence
Seminar at Laboratoire d'Informatique de Paris Nord, Villetaneuse, France