Lecture:
Wednesdays 16:15–17:45 and Thursdays 16:15–17:45,
E1.4, Lecture hall 024.
Tutorial:
Tuesdays 10:15–11:45,
E1.4, Lecture hall 024.
Due to problems with the projector in E1.3, Room 003, the lecture venue and dates have been changed!
The Midterm Exam has been moved to Friday, December 5, 14:30–16:30, Bldg E2.2, Room 001.
We need the names and e-mail addresses of all participants of the course
for urgent announcements and for sending the exam results.
Please register at the
MPI
course registration page until November 16.
Note that this is not the official HISPOS registration.
Note also that there is no need to unregister if you later decide to
skip the course.
Lecturers:
Uwe Waldmann <uwe@mpi-inf.mpg.de>
Christoph Weidenbach
Topics:
Syntax, semantics, deduction calculi, and their implementation: