News
Clarification: lecture dates
Written on 15.05.2023 12:41 by Ben Stock
Due to a small bug, the course's main page noted that there would be no lecture on May 17 (it technically specified May 17 would be both a lecture and no lecture). Just to avoid misunderstandings: we will have a regular meeting on May 17, but no meeting on May 24.