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: 07.01.2022 13:00
Endtime: 07.01.2022 15:00
the whole day: No

Semantics