Foundations of Proof Systems

MPRI - course 2-7-1

2017


This year, the course is given by Benjamin Werner and Pierre-Yves Strub.

Exam date: November, 30. Sheet and solutions.

Projects due date: December, 07.

Course Notes

Here.

Schedule

It is strongly advised to go through the provided solution files - independently of whether you have finished the exercice or not.

Dates

  • Exam:
  • Project dead-line:

Past Exams

fleurs