News
SysV: third Q&A session starting soon
Written on 16.12.2020 09:05 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 :)