No Lecture Next Tuesday

There will be no lecture next Tuesday (August 29) due to a PhD defence.

The candidate has written a thesis in mathematical logic, and you are all welcome to attend the disputation. Please, see Disputation: Juvenal Murwanashyaka.

Note that the trial lecture starts 10:15 (and the defence of the thesis starts after lunch).