Coinductive Proofs Calendar

Proofs: Lecture
2025-04-08 08:15 - 09:45, 2025-04-15 08:15 - 09:45, 2025-04-22 08:15 - 09:45, 2025-05-06 08:15 - 09:45, 2025-05-13 08:15 - 09:45, 2025-05-20 08:15 - 09:45, 2025-05-27 08:15 - 09:45, 2025-06-03 08:15 - 09:45 UTC and 6 more dates | E1.3 HS003
