New deadline for Mandatory Assignment 1:

The deadline for Mandatory Assignment 1 is postponed to Tuesday, October 3. 

The hope is then that as many students as possible will turn up to the important lecture on undicidability (Monday October 2, Dino Karabeg)!