Formal Methods in Security

Vassena, Nemati, Künnemann

Timetable

Title Type Location Serial Start End All Day
Q&A IFC IFC Zoom (TBA) 2 06.11.20 06.11.20 No 
Q&A: PROTO2 Proto verification https://rocketchat.cs.uni-saarland.de/channel/proto 22.01.21 22.01.21 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.