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

Semantics