News
|
16.09.2021
|
Final GradesThe final grades can now be found on the personal status pages. Feel free to contact your advisor if any questions arise. We thank you for your participation in the proseminar and hope you enjoyed it as much as we did! If you want to learn even more about... Read more The final grades can now be found on the personal status pages. Feel free to contact your advisor if any questions arise. We thank you for your participation in the proseminar and hope you enjoyed it as much as we did! If you want to learn even more about software reliability, we invite you to attend our core lecture Verification in the upcoming semester (link). We hope to see you there and wish you a successful and healthy winter semester! |
|
01.07.2021
|
Course EvaluationAfter practicing giving feedback for each other for half a semester, it’s now time to try it on us. The Qualis course evaluation is now accessible via the following Link until July 14. We appreciate every feedback! |
|
19.04.2021
|
Topic AssignmentThe topic assignment is done. The assigned tutorial number on the “Personal Status” page represents your topic, the sources can be found at “Materials”. If any questions arise, feel free to contact your advisor (tutor). See you on Wednesday! |
|
12.04.2021
|
Registration is openThe registration is open! Please register until Wednesday. Our first meeting is this week on Wednesday the 14th at 2:15pm, please find the zoom link at “Information -> Zoom Meeting”. |