Home Members Software Seminars Jobs

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

See our internship and PhD subject proposals!

Kickoff meeting of Logipedia

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

Publications of the team

Activity reports: 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012.

Contact: Gilles Dowek, (first name).(last name), LSV, 4 avenue des Sciences, 91190 Gif-sur-Yvette