Courses
Main Page
Information
Timetable
Materials
Exam Regulations
The Coq Proof Assistant
Coq Gitlab
Literature
Team
Registration
Personal Status
Login
Remember me
Login
Registration
Forgot Password?
Enable dark mode
Enable light mode
Semantics
Derek Dreyer
Timetable
Show Calendar
Export as .ics-file
Export as .ics-file with prefix
Export a category ...
Exam
Lecture
Office Hour
Tutorial
Export a category with prefix ...
Exam
Lecture
Office Hour
Tutorial
Title
Type
Location
Serial
Start
End
All Day
Tutorial
Tutorial
Online
4
10.02.22
10.02.22
No
Lecture
Lecture
Hybrid (Zoom and Lecture Hall 002, E1.3)
1
11.02.22
11.02.22
No
Office Hour
Office Hour
Online
3
11.02.22
11.02.22
No
Endterm
Exam
Lecture Hall 003, E1.3
16.02.22
16.02.22
No
«
7
8
9
10
11
12
13
14
15
»
(71 - 74 of 74)
Items per page:
All
5
10
25
50
100
Privacy Policy
|
Legal Notice
If you encounter technical problems, please contact
the administrators
.