Oberseminar SoSe 2026

Das Oberseminar des Lehrstuhls für Theoretische Informatik findet dienstags 14:15-15:45 in Raum 00.131-128 (Cauerstraße 11) statt.

Das Oberseminar steht Masterstudierenden und Doktoranden sowie bei Interesse Bachelorstudierenden offen.
Die Themenwahl erfolgt nach Vereinbarung entsprechend den Schwerpunkten des Lehrstuhls. Die Vortragstermine werden am ersten Termin in der Vorlesungszeit festgelegt.

Bei Nachfragen gerne per Mail an den Seminarleiter (Prof. Dr. Stefan Milius), Anmeldung zur Mailingliste:  TCS-Seminar Mailinglist

Vorträge

  


Current Talks


Tuesday, 21.04.2026


Finch: A Browser-Based Proof Assistant for Fitch-Style Natural Deduction
Leon Vatthauer
Slides
Abstract
Finch is a browser-based proof assistant designed to help students construct correct Fitch-style natural deduction proofs by providing helpful error messages and an intuitive interface.
The application was developed for my Master's project and is written purely in Haskell using the Miso library together with GHC's WebAssembly backend. In this talk I will showcase Finch, explain how the proof checker operates, and provide a brief introduction to web development in Haskell.




Upcoming Talks


Tuesday, 28.04.2026


TBA
Fabian Lenke
Abstract
TBA




Tuesday, 05.05.2026


TBA
Simon Prucker
Abstract
TBA




Tuesday, 12.05.2026


TBA
Prof. Dr. Cathérine Meusburger (Department Mathematik, Lie-Gruppen und Darstellungstheorie)
Abstract
TBA




Tuesday, 19.05.2026


TBA
Stefan Gebhart
Abstract
TBA




Tuesday, 19.05.2026


TBA
Üsame Cengiz
Abstract
TBA




Tuesday, 26.05.2026


Sitzung fällt wegen Bergdienstag aus



Tuesday, 02.06.2026


TBA
Jiří Adámek (TU Braunschweig)
Abstract
TBA




Tuesday, 09.06.2026


TBA
Felix Lützow
Abstract
TBA




Tuesday, 09.06.2026


TBA
Jakob Roßkopf
Abstract
TBA




Tuesday, 16.06.2026


TBA
Jonas Forster
Abstract
TBA




Tuesday, 23.06.2026


TBA
Ole Elliger
Abstract
TBA




Tuesday, 30.06.2026


TBA
Florian Guthmann
Abstract
TBA




Tuesday, 07.07.2026


TBA
N.N.
Abstract
TBA




Tuesday, 14.07.2026


TBA
Maximilian Rumi
Abstract
TBA




Tuesday, 14.07.2026


TBA
Henning Urbat
Abstract
TBA




Previous Talks

Kalender