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
Yann Leray, Gaëtan Gilbert, Nicolas Tabareau, Théo Winterhalter
International Conference on Interactive Theorem Proving (ITP 2024) (2024)
Théo Winterhalter
Proceedings of the ACM on Programming Languages (2024)
Thomas Traversié
LFMTP 2024 - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (2024)
Thomas Traversié
LFMTP 2024 - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (2024)
Frédéric Blanqui
LPAR-25 - 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (2024)