Arbeitsgruppe Zuverlässige Systeme

Winter 2019/20

Inf-AlgSeq: Algorithms on Sequences
V; 2 SWS; ECTS: 6; Mi, 10:00 - 12:00, CAP4 - R.1304 a; vom 20.10.2019 bis zum 2.2.2020

Exercise: Algorithms on Sequences
UE; 2 SWS; Mi, 12:00 - 14:00, CAP4 - R.1304 a; vom 20.10.2019 bis zum 2.2.2020

Inf-HPC: Hochleistungsrechnen
V; 2 SWS; ECTS: 6; Mo, 10:00 - 12:00, CAP4 - R.1304 a; vom 20.10.2019 bis zum 2.2.2020

Übung zu: Hochleistungsrechnen
UE; 2 SWS; Mo, 12:00 - 14:00, WSP3 - Seminarraum 1 / 24 Plätze; vom 20.10.2019 bis zum 2.2.2020

Inf-Sem-FSV: Formale Softwareverifikation
S; 2 SWS; ECTS: 4; vom 20.10.2019 bis zum 2.2.2020

infBSemSafeML-01a: Sicherheit und Maschinelles Lernen
S; 2 SWS; ECTS: 4; vom 20.10.2019 bis zum 2.2.2020

Logical and Theoretical Foundations of CS
V; 5 SWS; ECTS: 10; Di, 10:15 - 11:45, CAP2 - Hörsaal A; Do, 12:15 - 13:45, CAP2 - Hörsaal E; Fr, 10:15 - 11:00, CAP2 - Hörsaal A; vom 22.10.2019 bis zum 31.1.2020

Logical and Theoretical foundations of CS - Tutorial
UE; Mo, 12:00 - 14:00, CAP4 - R.1304 a; vom 28.10.2019 bis zum 27.1.2020