Seminar Foundations of Dependable Systems II
In the seminar, students will read scientific papers, give a presentation about the topics they acquired, and write a short scientific report about these topics. The topics vary from semester to semester.
T1 – Distributed Systems |
T4 – Logic
After completion of this course unit, the students
Ulrich Ultes-Nitsche |
The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_1531331.html.
Schedules and Rooms
|Evaluation type||continuous evaluation|