max planck institut
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning SS08" - Exercises


Submit the solutions during the lecture on Thursdays.


The tutorial groups start in week 18 (beginning from 28th of April, respectively).

Monday 14-16, room has changed to 6th floor rotunda, Building E1.4, Tutor: Dilyana Dimova, Contact: dilyana[add at][add]

Tuesday 12-14, Room 021, Building E1.4, Tutor: Manuel Lamotte, Contact: lamotte[add at][add]

Thursday 12-14, Room 021, Building: E1.4, Tutor: Evgeny Kruglov, Contact: ekruglov[add at][add]