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

News

SysV: first Q&A session starting soon

Written: 02.12.2020 09:26
Modified: 02.12.2020 16:29
Written By: Hamed Nemati

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

Agenda to the meeting today is:

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

Please join :)

 



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