Timetable

Event Category: Office Hour
Title: Office Hour
Location: Online
Details: Office hour where we will go over the Coq development and you can ask questions.
Starttime: 11.02.2022 13:00
Endtime: 11.02.2022 15:00
the whole day: No

Semantics