Computer Science Theory Seminar (Autumn 2021 - Spring 2022)

Research seminar webpage of the Logic and Semantics group at TTÜ.
This seminar series is intertwined with the TallCat seminar series of the Compositional Systems and Methods group.

Time: Generally happening on Thursday at 14.00 Tallinn time.
Place: Room CYB101 and online.

Timetable

Time Title Speaker
Thu 3 Sep List Monads (slides) Dylan McDermott
(Reykjavik University)
Thu 14 Oct A Type System with Subtyping for WebAssembly's Stack Polymorphism Yasuaki Morita
(Reykjavik University)
Thu 21 Oct Monads with Merging Exequiel Rivas
(Tallinn University of Technology)
Thu 11 Nov The (Relative) Monad–Theory Correspondence Nathanael Arkor
(University of Cambridge)
Thu 2 Dec Constructive Modalities Valeria de Paiva
(Topos Institute)
Thu 16 Dec TBA Silvio Capobianco
(Tallinn University of Technology)