max planck institut
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning SS10" - Exercises


Submit the solutions during the lecture on Tuesdays.


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

Group 1: Tuesday 10-12, Room has changed to R024 , Building E1 4, Tutor: Evgeny Kruglov, Contact: ekruglov[add at][add]

Group 2: Wednesday 10-12, Room 023, Building E1 4, Tutor: Willem Hagemann, Contact: hagemann[add at][add]

Group 3: Friday 16-18, Room 023, Building: E1 4, Tutor: Francis Gasse, Contact: fgasse[add at][add]