Deducteam

Deducteam is strongly involved in the COST action 20111 EuroProofNet.

Please consult our job list to see various internship offers we had recently. You can also contact us directly if there is a topic we work on you would find interesting, even if it's not listed there.

If you would like to join Deducteam as a postdoc or a permanent researcher please contact us directly as well.

Activity reports

Recent papers and drafts ⟩ see all

Monad Translations for Higher-Order Logic

Thomas Traversié

FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction (2025)

Encode the Cake and Eat it Too

Yann Leray, Théo Winterhalter

(2025)

Proving Termination With CPO --Full Version

Alejandro Díaz-Caro, Gilles Dowek, Jean-Pierre Jouannaud

(2025)

Proving Termination With CPO

Alejandro Díaz-Caro, Gilles Dowek, Jean-Pierre Jouannaud

(2025)