New lecture time
After a request by the students, the lecture time has been changed: lectures are now
- Wednesday 11-13, room M1;
- Thursday 9-11, room L;
starting immediately. Hence there will be no lecture on October 3, and the next lecture is on October 4.
- Two additional lecture recordings (2017-11-30 and 2017-12-06).
Missing recordings: 2017-10-11. The one from 2017-10-12 is only a partial recording.