Formal Verification of Systems Software

Andrea Lattuada, Derek Dreyer

Timetable

You can import this calendar in your calendar app by copying an export link from the "Date Overview" menu.

Upcoming Events

Tutorial 22.01.2025 16:10 - 17:00
Lecture 24.01.2025 10:15 - 11:45
Tutorial 29.01.2025 16:10 - 17:00
Lecture 31.01.2025 10:15 - 11:45
Tutorial 05.02.2025 16:10 - 17:00
Lecture 07.02.2025 10:15 - 11:45
Tutorial 12.02.2025 16:10 - 17:00
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.