Lecture "Automated Reasoning" (SS 2004)

Time and Venue:
Lecture: Tuesdays 16:00-18:00 and Thursdays 11:00-13:00, Bldg 45, Room 001
Tutorials: to be announced.

Lecturers:
Harald Ganzinger (1950-2004)
Viorica Sofronie-Stokkermans <sofronie@mpi-sb.mpg.de>
Uwe Waldmann <uwe@mpi-sb.mpg.de>

Tutorial groups and exercise sheets

Slides and suggested readings

Examinations and grading

Summary of the lecture evaluation

Mailing list for the lecture (autreas-ss04-l @ postino.mpi-sb.mpg.de)

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-sb.mpg.de>, 2004-09-08.