Lehrveranstaltungen
Sommersemester 2016

Einführende Veranstaltungen

• Vorlesung Algorithmen und Datenstrukturen
  3-std., Di 8-10 Uhr, Mi 16-18 Uhr, Hofmann
• Vorlesung Logik und Diskrete Strukturen
  3-std., Di 12-14 Uhr, Mi 8-10 Uhr, Hofmann
• Vorlesung Formale Spezifikation und Verifikation
  3-std., Mo 12-14, Mi 16-18, Schöpp
• Lehrveranstaltung Theoretische Informatik für Medieninformatiker
  3-std., Di 14-17, Johannsen
• Seminar Parallele und Nebenläufige Programmierung
  2-std, Hofmann, Cichon, Jost, Schöpp 

Weiterführende Veranstaltungen

• Vorlesung Computer-Aided Formal Reasoning
  3-std., Mi 10-12 Uhr, Do 12-14 Uhr, Hofmann, Cichon
• Vorlesung Modern Computer Architecture
  2-std., Do 14-16 Uhr, Cichon
• Vorlesung IT-Kompetenz
  2-std., Fr 10-12 Uhr, Cichon

Lehramt

• Vorlesung Didaktik der Informatik 2
  2-std., Mi 16-18, Brichzin
• Praktium Informatiksysteme aus fachdidaktischer Sicht
  2-std., Do 14-17, Gramlich, Rau, Rosenbaum
• Seminar Fachdidaktisches Seminar (Gymnasium)
  2-std., Do 8-10, Gramlich
• Seminar Fachdidaktisches Seminar (Realschule)
  2-std., Do 10-12, Rosenbaum

Sonstige

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