Teaching

Studentische Arbeiten

Lehrveranstaltungen

• Wahlpflichtveranstaltungen Theoretische Informatik
• Laufendes Semester (WiSe 2022/23)
  • Grundlagen der Logik in der Informatik (GLoIn)
  • Advanced Mechanized Reasoning in Coq (Americo)
  • Formale Methoden der Softwareentwicklung (FMSoft)
  • Kommunikation und parallele Prozesse (KommPar)
  • Oberseminar
  • Seminar Homotopy Type Theory (HoTT)
  • Seminar Advanced Competitive Programming (ACP)
  • Seminar Themen der Kategorientheorie (TopCat)
• Vorige Semester:

  • Sommersemester 2022
  • Wintersemester 2021/22
  • Sommersemester 2021
  • Wintersemester 2020/21
  • Sommersemester 2020
  • 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
•