| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Meeting |
Meeting |
E9.1 (CISPA Building), meeting room 0.07 |
|
22.06.23 |
22.06.23 |
No |
|
|
Meeting |
Meeting |
E9.1 (CISPA Building), meeting room 3.21 |
|
29.06.23 |
29.06.23 |
No |
|
|
Meeting |
Meeting |
E9.1 (CISPA Building), meeting room 3.21 |
|
01.06.23 |
01.06.23 |
No |
|
|
Meeting |
Meeting |
E9.1 (CISPA Building), meeting room 3.21 |
|
27.07.23 |
27.07.23 |
No |
|
|
Meeting |
Meeting |
E9.1 (CISPA Building), meeting room 3.21 |
|
13.07.23 |
13.07.23 |
No |
|
|
Lecture: Brief Intro to Formal Methods |
Meeting |
E9.1 (CISPA Building), meeting room 3.21 |
|
11.05.23 |
11.05.23 |
No |
|
|
Kickoff meeting |
Meeting |
E9.1 (CISPA Building), meeting room 0.01 |
|
04.05.23 |
04.05.23 |
No |
|
|
Final Report Due |
Deadline |
|
|
11.09.23 |
N/A |
Yes |
|
|
Report Draft Due |
Deadline |
|
|
25.08.23 |
N/A |
Yes |
|
