Lehrveranstaltungen
Wintersemester 2016/17

Einführende Veranstaltungen

• Vorlesung Grundlagen der Analysis
  2-std., Mi 10-12 Uhr, Fr 10-12 Uhr, Hofmann
• Softwareentwicklungspraktikum für das Nebenfach
  11-std., Barth, Jost, Schöpp
• Seminar Design und Verifikation paralleler und nebenläufiger Algorithmen
  2-std., Hofmann, Cichon, Jost, Schöpp
• Seminar Statische Programmanalyse
  2-std., Jost, Schöpp

Weiterführende Veranstaltungen

• Vorlesung Automata Theory
  3-std., Di 10-12 Uhr, Mi 14-16 Uhr, Hofmann
• Vorlesung Coding Theory
  3-std., Di 12-14 Uhr, Do 16-18 Uhr, Hofmann, Cichon

Lehramt

• Fachdidaktik I
  2-std., Do 8-10, Rau
• Begleitseminar zum studienbegleitenden Praktikum
  2-std., Do 10-12, Rosenbaum
• Staatsexamensvorbereitung
  2-std., Do 14-16, Gramlich, Kreidenweis, Maneggia, Rosenbaum

Sonstige

• Oberseminar Theoretische Informatik
  2-std., Fr 14-16, Hofmann