max planck institut
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning SS06" - Exercises



All tutorial groups start in May.

We had to assign some participants to their second choice tutorial group. If there are any serious date conflicts, we will try to resolve them during the lecture on April 26.

Monday 16-18, Room 021, Building E1.4, Tutor: Arnaud Fietzke, Contact: arnaud.fietzke[add at][add]

Thursday 14-16, Room 021, Building E1.4, Tutor: Dilyana Dimova, Contact: dilyana_dimova[add at][add]

Friday 11-13, Room 021, Building: E1.4, Tutor: Patrick Wischnewski, Contact: pawi5002[add at][add]