Timetable
You can import this calendar in your calendar app by copying an export link from the "Date Overview" menu.
Coinductive Proofs
Arthur Correnson, Bernd Finkbeiner
You can import this calendar in your calendar app by copying an export link from the "Date Overview" menu.