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, 28.04.2026 |
The Substitution Tensor in Presheaves and Nominal Sets
AbstractPresheaves and nominal sets provide alternative abstract models of sets of syntactic objects with free and bound variables, such as λ-terms. One distinguishing feature of the presheaf-based perspective is its elegant syntax-free characterization of substitution using a closed monoidal structure. In this talk, we introduce a corresponding closed monoidal structure on nominal sets, in the spirit of Fiore et al.'s substitution tensor for presheaves over finite sets. To this end, we present a general method to derive a closed monoidal structure on a category from a given action on that category. We demonstrate that this method not only uniformly recovers known substitution tensors for various kinds of presheaf categories but also yields novel notions of substitution tensor for nominal sets and their relatives, such as renaming sets. In doing so, we shed new light on different incarnations of nominal sets and (pre-)sheaf categories and establish a number of novel correspondences between them. |
| Upcoming Talks | |
| Tuesday, 05.05.2026 |
TBA
AbstractTBA |
| Tuesday, 12.05.2026 |
TBA
AbstractTBA |
| Tuesday, 19.05.2026 |
TBA
AbstractTBA |
| Tuesday, 19.05.2026 |
TBA
AbstractTBA |
| Tuesday, 26.05.2026 |
Sitzung fällt wegen Bergdienstag aus
|
| Tuesday, 02.06.2026 |
TBA
AbstractTBA |
| Tuesday, 09.06.2026 |
TBA
AbstractTBA |
| Tuesday, 09.06.2026 |
TBA
AbstractTBA |
| Tuesday, 16.06.2026 |
TBA
AbstractTBA |
| Tuesday, 23.06.2026 |
TBA
AbstractTBA |
| Tuesday, 30.06.2026 |
TBA
AbstractTBA |
| Tuesday, 07.07.2026 |
TBA
AbstractTBA |
| Tuesday, 14.07.2026 |
TBA
AbstractTBA |
| Tuesday, 14.07.2026 |
TBA
AbstractTBA |
| Previous Talks | |
| Tuesday, 21.04.2026 |
Finch: A Browser-Based Proof Assistant for Fitch-Style Natural Deduction
Slides
AbstractFinch 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. |