News
SysV: first Q&A session starting soon
Written on 02.12.2020 09:26 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 :)