max planck institut
informatik
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning SS08" - Exercises

Exercises

Submit the solutions during the lecture on Thursdays.


Tutorials

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 mpi-sb.mpg.de]


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


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