Timetable

Event Category: Proto verification
Title: PROTO2: Applied-pi
Location: https://cispa-de.zoom.us/j/95553184253?pwd=UUdnZ1Nnc1lrWTdHV2VxcWlXRVJBZz09
Details
Starttime: 20.01.2021
Endtime: N/A
the whole day: Yes

Formal Methods in Security