Computer Science Theory Seminar (Autumn 2020 - Spring 2021)

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: Online.


Time Title Speaker
Thu 24 Sep On the Axiomatisability of Parallel Composition: A Journey in the Spectrum Valentina Castiglioni (Reykjavik University)
Thu 15 Oct Complexity of Substructural Logics with Kleene Star Stepan Kuznetsov (Steklov Mathematical Institute of RAS)
Thu 12 Nov TBA Dominik Kirst (Saarland University)
Thu 19 Nov TBA Christian Uldal Graulund (IT University of Copenhagen)
Thu 3 Dec TBA Thorsten Altenkirch (University of Nottingham)
Thu 10 Dec TBA Sam Staton (University of Oxford)
Thu 7 Jan Asynchronous Effects Danel Ahman (University of Ljubljana)