Timetable

Title Type Location Serial Start End All Day
IFC Lecture 1 IFC https://cispa-de.zoom.us/j/94800662920?pwd=SVVKbEJDU2t6ZFV4bk5JY05JQkFpdz09 1 25.11.20 25.11.20 No 
IFC Lecture 1 IFC https://cispa-de.zoom.us/j/94800662920?pwd=SVVKbEJDU2t6ZFV4bk5JY05JQkFpdz09 1 18.11.20 18.11.20 No 
IFC Lecture 1 IFC https://cispa-de.zoom.us/j/94800662920?pwd=SVVKbEJDU2t6ZFV4bk5JY05JQkFpdz09 1 04.11.20 04.11.20 No 
IFC Lecture 1 IFC https://cispa-de.zoom.us/j/94800662920?pwd=SVVKbEJDU2t6ZFV4bk5JY05JQkFpdz09 1 11.11.20 11.11.20 No 
Introduction Lecture Introduction Zoom: https://cispa-de.zoom.us/j/91272899429?pwd=c1NRanNtbC90RmYwRW9lWEh3b3p0dz09 28.10.20 28.10.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 
PROTO3: Verification tools Proto verification https://cispa-de.zoom.us/j/96445853204?pwd=cktTNHpXN3Bob3RsYlpOQzlrM2JVQT09 27.01.21 N/A Yes 
PROTO4: Privacy Proto verification https://cispa-de.zoom.us/j/99708000942?pwd=Z3YxNHg5RXpMd3VLRFpSMW9YSDJuUT09 03.02.21 N/A Yes 
PROTO project: early deadline Proto verification 26.02.21 N/A Yes 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.