Oberseminar (WiSe 2023/24)
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.
ℹ Nachfragen gerne per Mail an den Seminarleiter (Prof. Dr. Lutz Schröder), Anmeldung zur Mailingliste: TCS-Seminar Mailinglist
Vorträge und Folien
| Jonas Forster | November 28, 2023 |
Towards Behavioural (In)Equivalence Games via Categories of Relational StructuresOn labelled transition systems, the notion of bisimilarity can be characterised via Spoiler-Duplicator games. Similarly, other types of behavioural equivalences, e.g. those in the well known linear-time branching-time spectrum are captured by variants of these games. In this talk, we build on work by Ford et al., extending Spoiler-Duplicator type games to the coalgebraic setting via the framework of graded semantics. Our goal is to capture not only process semantics that form an equivalence relation, but also such semantics that form preorders, like trace inclusion semantics or simulation semantics, as well as quantitative variants of process semantics. To this effect we exploit (graded) monads on categories of relational structures as studied by Ford et al. to gain a perspective of these games as syntactically playing out algebraic proofs and subsequently explore how this translates to categorical notions. |