Home
News
Back
Congratulations to David Schmutz on Best Bachelor Thesis Prize
Congratulations to Dr. Jan Johannsen on His Successful Habilitation
Job Advertisement: Looking for an Exam Grader
Mitarbeitende
Back
Jasmin Blanchette
Patricia Dewhirst
Daniel Schmidt
Jan Johannsen
Kenji Maillard
Martin Desharnais-Schäfer
Michael Kirsten
Back
Publications
Yiming Xu
Tanguy Bozec
Xavier Genereux
Alexandra Graß
Massin Guerdi
Lydia Kondylidou
Jannis Limperg
Luca Maio
Moritz Roos
Balazs Toth
Alumnae und Alumni
Back
Martin Hofmann
Elisabeth Lempa
Forschung
Back
Aktuelle Projekte
Lehre
Back
Abschlussarbeiten
Back
Leitfaden für Abschlussarbeiten
Sommersemester 2027
Back
Formale Sprachen und Komplexität
Theoretische Informatik für Studierende der Medieninformatik
Programmierung und Modellierung
Algebra and Computer Science
Interactive Theorem Proving
Theory and Security of Voting Systems
Automated Theorem Provers
Type Theory
Wintersemester 2026/27
Back
Python für Anfänger
Scientific and Technical English
Logic for Security
Softwareentwicklungspraktikum für Informatik im Nebenfach
Automated Theorem Proving
Category Theory
Type Theory
Mobile Application Development
Formalization in Lean
SAT Solving
Sommersemester 2026
Back
Formale Sprachen und Komplexität
Theoretische Informatik für Studierende der Medieninformatik
Logik und Diskrete Strukturen
Algebra and Computer Science
Interactive Theorem Proving
Theory and Security of Voting Systems
Cryptography
Automated Theorem Provers
Programming in Prolog
Wintersemester 2025/26
Back
Python für Anfänger
Scientific and Technical English for Computer Scientists
Functional Pearls
Softwareentwicklungspraktikum für Informatik im Nebenfach
Automated Theorem Proving
Satisfiability Modulo Theories
Type Theory
Mobile Application Development
Formalization in Lean
SAT Solving
Sommersemester 2025
Back
Formale Sprachen und Komplexität
Logik und Diskrete Strukturen
Theoretische Informatik für Studierende der Medieninformatik
Algebra and Computer Science
Interactive Theorem Proving
Cryptography
Automated Theorem Provers
Wintersemester 2024/25
Back
Einführung in die Programmierung
Python für Anfänger
Basics of Theorem Proving Using Coq
Softwareentwicklungspraktikum für Informatik im Nebenfach
Automated Theorem Proving
Complexity Theory
Functional Programming and Type Theory
Formalization in Lean
Sommersemester 2024
Back
Formale Sprachen und Komplexität
Logik und Diskrete Strukturen
Theoretische Informatik für Studierende der Medieninformatik
Algebra and Computer Science
Functional Pearls
Cryptography
Dependent Type Theory
Interactive Theorem Proving
Wintersemester 2023/24
Back
Basics of Theorem Proving Using Coq
Functional Pearls
Softwareentwicklungspraktikum für Informatik im Nebenfach
Functional Programming and Type Theory
SAT Solving
Sommersemester 2023
Back
Formale Sprachen und Komplexität
Logik und Diskrete Strukturen
Theoretische Informatik für Medieninformatiker
Ältere Vorlesungen
Back
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
Interactive Theorem Proving (ITP, SoSe 2027)
Print
To top
