Arbeitsgruppe Zuverlässige Systeme

Winter 2018/19

"How to prove" - Techniques for mathematical Proofs (Pre-Master)
OS; 2 SWS; Di, 10:15 - 11:45, CAP4 - R.1304 a; vom 21.10.2018 bis zum 21.12.2018

Inf-AlgSeq: Algorithms on Sequences
V; 2 SWS; ECTS: 6; Do, 14:15 - 15:45, CAP4 - R.1304 a; vom 31.10.2018 bis zum 10.2.2019 

Exercise: Algorithms on Sequences
UE; 2 SWS; Mi, 12:15 - 13:45, LMS2 - R.Ü1; vom 31.10.2018 bis zum 10.2.2019 

Inf-CombWords: Combinatorics on Words
V; 2 SWS; ECTS: 6; Mo, 12:00 - 14:00, CAP4 - R.1304 a; vom 21.10.2018 bis zum 10.2.2019

Exercise: Combinatorics on Words
UE; 2 SWS; Mo, 10:00 - 12:00, CAP4 - R.1304 a; vom 21.10.2018 bis zum 10.2.2019 

Inf-EntVerf: Decision Procedures
V; 2 SWS; ECTS: 6; Mi, 12:00 - 14:00, CAP4 - R.1304 a; vom 21.10.2018 bis zum 10.2.2019

Exercise: Decision Procedures
UE; 2 SWS; Mi, 10:00 - 12:00, CAP4 - R.1304 a; vom 7.11.2018 bis zum 10.2.2019 

Inf-MS-FSV: Seminar - Formale Softwareverifikation
S; 2 SWS; ECTS: 5; Die Vorbesprechung findet in CAP4, Raum 1304b statt ; Vorbesprechung: 18.7.2018

Inf-Sem-FSV: Formale Softwareverifikation
S; 2 SWS; ECTS: 4; Die Vorbesprechung findet in CAP4, Raum 1304b statt ; Vorbesprechung: 18.7.2018 

Master project : Combinatorics on Words (Scattered Factors)
UE; 4 SWS; ECTS: 10; vom 21.10.2018 bis zum 10.2.2019; The first meeting takes place in 1304b.  

Master project: Understanding the Preprocessing Performance of SAT Solvers
UE; 4 SWS; ECTS: 10; vom 21.10.2018 bis zum 10.2.2019 

Masterprojekt – Zuverlässige Systeme
UE; 4 SWS; ECTS: 10; vom 21.10.2018 bis zum 10.2.2019; Die Vorbesprechung findet am 19.10.18 um 9:00 Uhr im CAP4 Raum 1308 statt 

Theory of Computation (Pre-Master)
V; 2 SWS; ECTS: 8; Mi, 14:15 - 15:45, CAP4 - R.1304 a; vom 21.10.2018 bis zum 10.2.2019