Semester selection: WiSe 2026/2027 SoSe 2026 WiSe 2025/2026 SoSe 2025 WiSe 2024/2025 SoSe 2024 WiSe 2023/2024 SoSe 2023 WiSe 2022/2023 SoSe 2022 WiSe 2021/2022 SoSe 2021 WiSe 2020/2021 SoSe 2020 WiSe 2019/2020 SoSe 2019 WiSe 2018/2019 SoSe 2018 WiSe 2017/2018 SoSe 2017 WiSe 2016/2017 SoSe 2016 WiSe 2015/2016 SoSe 2015 WiSe 2014/2015 SoSe 2014 WiSe 2013/2014 SoSe 2013 Previous...
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 230022 | Kracht | Formale Methoden 1 | V |
Wed 14-16 in C0-116 [14.10.2013-07.02.2014]
Wed 14-16 in H14 [04.11.2013-07.02.2014] |
|
| 237203 | Tutoren | Tutorien zu "Formale Methoden 1" | Tut |
Mon 8-9 in C01-252 [14.10.2013-07.02.2014]
Mon 9-10 in C01-252 [14.10.2013-07.02.2014] Thu 8-9 in X-E0-216 [14.10.2013-07.02.2014] Thu 9-10 in X-E0-216 [14.10.2013-07.02.2014] Fri 14-15 in C01-252 [14.10.2013-07.02.2014] Fri 15-16 in C01-252 [14.10.2013-07.02.2014] ... |
|
| 237326 | Milne-Plückebaum | Tutorien zu "Formale Methoden 1" | Tut |
Mon 8-10 in C01-252 [14.10.2013-07.02.2014]
Tue 14-16 in T2-214 [26.11.2013] Tue 12-14 in X-E0-215 [28.01.2014] |
|
No courses found
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 230010 | Wagner, Schaller, Kirchhof | Transkription und Annotation 1/Formale Methoden 3 | S |
Fri 10-12 in X-E0-236 [14.10.2013-07.02.2014] einmalig am 25.10.2013 in V2-105/115
Fri 10:00-12.00 in V2-105/115 [25.10.2013] einmalig am 25.10.2013 in V2-105/115 Mon 18-20 in H5 [09.12.2013] |
|
| 230054 | Wagner, Schaller, Kirchhof | Transkription und Annotation 1/Formale Methoden 3 | S | Fri 10-12 in C01-277 [14.10.2013-07.02.2014] |
|
| Reference no. | Teaching staff | Topic | Type | Dates | My eKVV |
|---|---|---|---|---|---|
| 237106 | Michaelis, Schaller, Sichelschmidt | Portfolio Modul 23-LIN-BaLin4 | MDP | by appointment [14.10.2013-07.02.2014] Portfolioprüfung nach Vereinbarung |
|