Timetable

Event Category: Proto verification
Title: PROTO3: Verification tools
Location: https://cispa-de.zoom.us/j/96445853204?pwd=cktTNHpXN3Bob3RsYlpOQzlrM2JVQT09
Details
Starttime: 27.01.2021
Endtime: N/A
the whole day: Yes

Formal Methods in Security