Oberseminar (SoSe 2024)

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

Previous Talks
Tuesday, 27/08/2024
Towards Generalizing Probability Monads
Tuesday, 09/07/2024
Enveloping tensor categories
Tuesday, 02/07/2024
Nominal Tree Automata with Name Binding
Tuesday, 02/07/2024
Deallocation Sequences
Tuesday, 25/06/2024
Learning Bar Languages like Angluin
Tuesday, 18/06/2024
Fibrations, Topological Categories, and Behaviour with Structure
Tuesday, 11/06/2024
New Semantics for Separation Logic
Peter Trommler (TH Nürnberg)
Tuesday, 04/06/2024
Towards a Big-Step Higher-Order Mathematical Operational Semantics
Tuesday, 28/05/2024
Labeled Tableaux for Łukasiewicz Fuzzy Description Logic with Inverses
Iwo Stojanow
Tuesday, 28/05/2024
Implementierung der Übersetzung von ATL* in den Alternating-Time µ-Kalkül
Dominik Brunner
Tuesday, 14/05/2024
A Steady-State Operator for Probabilistic Graded Fixpoint Logics
Tuesday, 07/05/2024
Initial Algebras Unchained – A Novel Initial Algebra Construction Formalized in Agda
Tuesday, 07/05/2024
Test Case Generation for Zephyr RTOS Semaphores from PlusCal Specifications
Philipp Panzer
Tuesday, 30/04/2024
Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs
Julie Cailler (Universität Regensburg)
Tuesday, 23/04/2024
Towards an Algebraic Theory for Stochastic Languages

Kalender