Lecture "Automated Reasoning" (SS 2004)

This course was awarded the Best Teaching Award of the Computer Science Students Association for the summer semester 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-inf.mpg.de>
Uwe Waldmann <uwe@mpi-inf.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-inf.mpg.de)


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2004-09-08.