News
Final GradesWritten on 16.09.21 by Niklas Metzger 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… 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! |
Course EvaluationWritten on 01.07.21 by Niklas Metzger After 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! |
Topic AssignmentWritten on 19.04.21 (last change on 19.04.21) by Niklas Metzger The 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! |
Registration is openWritten on 12.04.21 (last change on 12.04.21) by Niklas Metzger The 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”. |