| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
SysV: First recorded lecture will be available |
System verification |
|
|
30.11.20 |
30.11.20 |
No |
|
|
PROTO1: modelling |
Proto verification |
https://cispa-de.zoom.us/j/93479792168?pwd=WkIyeG9BUDFnWlBxZ1hUNG1QUjZvZz09 |
|
13.01.21 |
N/A |
Yes |
|
|
PROTO2: Applied-pi |
Proto verification |
https://cispa-de.zoom.us/j/95553184253?pwd=UUdnZ1Nnc1lrWTdHV2VxcWlXRVJBZz09 |
|
20.01.21 |
N/A |
Yes |
|
|
PROTO4: Privacy |
Proto verification |
https://cispa-de.zoom.us/j/99708000942?pwd=Z3YxNHg5RXpMd3VLRFpSMW9YSDJuUT09 |
|
03.02.21 |
N/A |
Yes |
|
|
PROTO3: Verification tools |
Proto verification |
https://cispa-de.zoom.us/j/96445853204?pwd=cktTNHpXN3Bob3RsYlpOQzlrM2JVQT09 |
|
27.01.21 |
N/A |
Yes |
|
|
PROTO project: early deadline |
Proto verification |
|
|
26.02.21 |
N/A |
Yes |
|
|
PROTO project: late deadline |
Proto verification |
|
|
26.03.21 |
N/A |
Yes |
|
