Teaching

Studentische Arbeiten

Lehrveranstaltungen

• Regelmäßig angebotene Wahlpflichtveranstaltungen
• Kommendes Semester (WiSe 2020/21)
  • Grundlagen der Logik in der Informatik
  • Nonclassical Logics in Computer Science
  • Formale Methoden der Softwareentwicklung
  • Seminar Automaten über unendlichen Wörtern
  • Seminar Themen der Kategorientheorie
  • Oberseminar
• Laufendes Semester (SoSe 2020)
  • Theorie der Programmierung
  • Theoretische Informatik für Wirtschaftsinformatik und Lehramt
  • Kommunikation und Parallele Prozesse
  • Praktische Semantik von Programmiersprachen
  • Seminar Koalgebraische Logik
  • Oberseminar
• Vorige Semester:
  • Wintersemester 2019/20
  • Sommersemester 2019
  • Wintersemester 2018/19
  • Sommersemester 2018
  • Wintersemester 2017/18
  • Sommersemester 2017
  • Wintersemester 2016/17
  • Sommersemester 2016
  • Wintersemester 2015/16
  • Sommersemester 2015
  • Wintersemester 2014/15
  • Sommersemester 2014
  • Wintersemester 2013/14
  • Sommersemester 2013
  • Wintersemester 2012/13
  • Sommersemester 2012
•