Oberseminar (WiSe 2024/25)

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.

Bei Nachfragen gerne per Mail an den Seminarleiter (Prof. Dr. Lutz Schröder), Anmeldung zur Mailingliste:  TCS-Seminar Mailinglist

Vorträge

Current Talk
Tuesday, 12/11/2024
The λμμ̃-Calculus as a Setting for (Formalist) Argumentation
Upcoming Talks
Tuesday, 19/11/2024
TBA
Tuesday, 26/11/2024
TBA
Tuesday, 03/12/2024
TBA
Tuesday, 10/12/2024
TBA
Florian Guthmann
Tuesday, 10/12/2024
TBA
Moritz Blöcher
Tuesday, 17/12/2024
TBA
Tuesday, 07/01/2025
TBA
Tuesday, 14/01/2025
TBA
Robin Jourde
Tuesday, 21/01/2025
TBA
Max Ole Elliger
Tuesday, 21/01/2025
TBA
Philip Kaluđerčić
Tuesday, 28/01/2025
TBA
Tuesday, 04/02/2025
TBA
Previous Talks
Tuesday, 05/11/2024
Behavioural Metrics for Higher-Order Coalgebras
Tuesday, 29/10/2024
Algebraic Language Theory with Effects
Tuesday, 27/08/2024
Towards Generalizing Probability Monads

Kalender