logo deducteam

Home Members Software Seminars Jobs

Deducteam is an INRIA research team of the Programs, Verification and Proofs theme located at the LMF.

See our internship and PhD subject proposals!

We conduct research on proof processing systems and more specifically on:

Deducteam is strongly involved in the COST action 20111 EuroProofNet.

Publications of the team

Activity reports

Contact: Gilles Dowek,, LMF, 4 avenue des Sciences, 91190 Gif-sur-Yvette