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!

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

Publications of the team.

Activity reports: 2017, 2016, 2015, 2014, 2013, 2012.

Contact: Gilles Dowek, (first name).(last name), LSV, 61 avenue du Président Wilson, 94235 Cachan Cedex