Timetable

Title Type Location Serial Start End All Day
Q&A: PROTO3 Proto verification https://rocketchat.cs.uni-saarland.de/channel/proto 29.01.21 29.01.21 No 
Q&A: PROTO4 Proto verification https://rocketchat.cs.uni-saarland.de/channel/proto 05.02.21 05.02.21 No 
Q/A refinement System verification https://cispa-de.zoom.us/j/97307213380?pwd=eTNxbHI2eHJWRStMQVZIUWJjTXhOZz09 16.12.20 16.12.20 No 
SysV: First recorded lecture will be available System verification 30.11.20 30.11.20 No 
SysV: Fourth recorded lecture will be available System verification 04.01.21 04.01.21 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.