Notice: lecture time 9:15-12:00 every Friday

The lecture time is 9:15-12:00 every Friday. The link to the lecture schedule now says 12:15-15:00, which will be soon corrected to 9:15-12:00.