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

Lecture "Automated Reasoning SS12" - Exercises

Exercises

Please submit the solutions during the lecture or until 4 p.m. on Mondays at Jennifer Müllers office (Room 610, Building E1 5). Only handwritten solutions are accepted.


Tutorials

The tutorial groups start in week 2 (beginning from 23rd of April, respectively).


Group 1: Tuesday 10-12, Room 023, Building E1 4; Tutor: Marek Kosta, Contact: mkosta[add at][add mpi-inf.mpg.de]


Group 2: Wednesday 10-12, Room 3.23, Building E1 7; Tutor: Claudia Sofia Esquivel Pinto, Contact: cesquive[add at][add mpi-inf.mpg.de]