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

News

SysV: third Q&A session starting soon

Written: 16.12.2020 09:05 Written By: Hamed Nemati

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

Agenda for the meeting is:

  • Summarising the important points from the third lecture 
  • Taking your questions
  • Talking briefly about the third problem set

Please join :)



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