Teaching

Studentische Arbeiten

Lehrveranstaltungen

• Wahlpflichtveranstaltungen Theoretische Informatik
• Laufendes Semester (WiSe 2024/25):

  Vertiefende Veranstaltungen

  • Advanced Mechanized Reasoning in Coq
    [Since so far not enough students have subscribed, showed up or declared interest, the lecture is not happening in the first teaching week. If more people subscribe on StudOn, the lecture might begin in the second teaching week]
  • Formale Verifikation
  • Kommunikation und parallele Prozesse
  • Oberseminar
  • Seminar Advanced Competitive Programming
  • Seminar Curry-Howard-Korrespondenz
    The plan is to meet Thu 16:15 at 12801.00.131 (00.131-128 Seminar-/Besprechungsraum) 
  • Seminar Themen der Kategorientheorie (TopCat)

  Grundlagenveranstaltungen

  • Grundlagen der Logik in der Informatik (GLoIn)
• Vorige Semester:

  • Sommersemester 2024
  • Wintersemester 2023/24
  • Sommersemester 2023
  • Wintersemester 2022/23
  • 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
•