| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Q&A: PROTO3 |
Proto verification |
https://rocketchat.cs.uni-saarland.de/channel/proto |
|
29.01.21 |
29.01.21 |
No |
|
|
Q&A: PROTO4 |
Proto verification |
https://rocketchat.cs.uni-saarland.de/channel/proto |
|
05.02.21 |
05.02.21 |
No |
|
|
Q/A refinement |
System verification |
https://cispa-de.zoom.us/j/97307213380?pwd=eTNxbHI2eHJWRStMQVZIUWJjTXhOZz09 |
|
16.12.20 |
16.12.20 |
No |
|
|
SysV: First recorded lecture will be available |
System verification |
|
|
30.11.20 |
30.11.20 |
No |
|
|
SysV: Fourth recorded lecture will be available |
System verification |
|
|
04.01.21 |
04.01.21 |
No |
|
