© Inria / Photo B. Fourrier, 2022
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.
Claudio Sacerdoti Coen, Abdelghani Alidra
CICM 2025 - 18th Conference on Intelligent Computer Mathematics (2025)
Yann Leray, Gaëtan Gilbert, Nicolas Tabareau, Théo Winterhalter
(2025)
Thomas Traversié
FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction (2025)
Alejandro Díaz-Caro, Gilles Dowek, Jean-Pierre Jouannaud
(2025)