Lecture:
Wednesdays 10:15–11:45 and Fridays 12:15–13:45,
E1.3, Lecture hall 001.
Tutorial:
Wednesdays 14:15–15:45,
E1.3, Lecture hall 001.
(This is the only tutorial; there will not be alternative tutorial dates.)
Note: On October 25, there will be no tutorial; instead, we will have a lecture from 10:15 to 11:45 and from 14:15 to 15:45.
Lecturer:
Uwe Waldmann <uwe@mpi-inf.mpg.de>
Topics:
Syntax, semantics, deduction calculi, and their implementation: