Timetable

Event Category: Proto verification
Title: PROTO1: modelling
Location: https://cispa-de.zoom.us/j/93479792168?pwd=WkIyeG9BUDFnWlBxZ1hUNG1QUjZvZz09
Details
Starttime: 13.01.2021
Endtime: N/A
the whole day: Yes

Formal Methods in Security