Time and Venue:
Lecture: Mondays 16:15-17:45 and Wednesdays 14:15-15:45, Bldg E1.3, Lecture hall 1.
We need the names and e-mail addresses of all participants of the course
for planning the midterm and for sending you your exam results.
Please register at the
course registration page.
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.
There is no lecture on Wednesday, November 6.
Tutorials start on November 4. There are two tutorial groups:
Syntax, semantics, deduction calculi, and their implementation: