Timetable
Title | Type | Location | Serial | Start | End | All Day | |
---|---|---|---|---|---|---|---|
PROTO3: Verification tools | Proto verification | https://cispa-de.zoom.us/j/96445853204?pwd=cktTNHpXN3Bob3RsYlpOQzlrM2JVQT09 | 27.01.21 | N/A | Yes | ||
Q&A: PROTO2 | Proto verification | https://rocketchat.cs.uni-saarland.de/channel/proto | 22.01.21 | 22.01.21 | No | ||
PROTO2: Applied-pi | Proto verification | https://cispa-de.zoom.us/j/95553184253?pwd=UUdnZ1Nnc1lrWTdHV2VxcWlXRVJBZz09 | 20.01.21 | N/A | Yes | ||
Q&A: PROTO1 | Proto verification | https://rocketchat.cs.uni-saarland.de/channel/proto | 15.01.21 | 15.01.21 | No | ||
PROTO1: modelling | Proto verification | https://cispa-de.zoom.us/j/93479792168?pwd=WkIyeG9BUDFnWlBxZ1hUNG1QUjZvZz09 | 13.01.21 | N/A | Yes |