Formal Methods in Security Vassena, Nemati, K√ľnnemann

News

SysV: second Q&A session starting soon

Written: 09.12.2020 09:06
Modified: 09.12.2020 09:18
Written By: Hamed Nemati

The second Q&A session for the system verification techniques start at 10:00AM today. Zoom link: https://cispa-de.zoom.us/j/98380099551?pwd=NGpyc29UWUhiaHZLQ2pqMXZvUE9qZz09

Agenda for the today meeting is:

  • Summarising the important points for the second lecture 
  • Taking your questions
  • talking briefly about the second problem set

Please join :)



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators