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.


Time Title Speaker
Fri 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 On Linear Cellular Automata Silvio Capobianco
(Tallinn University of Technology)
Fri 17 Dec Flexible Presentations of Graded Monads Dylan McDermott
(Reykjavik University)
Thu 13 Jan Reading Lewis Carroll's Logic Amirouche Moktefi
(Tallinn University of Technology)
Fri 14 Jan World Logic Day 2022 in Tallinn Invited Speakers:
Anupam Das
(University of Birmingham)

Francesco Bellucci
(University of Bologna)
Thu 20 Jan An Internal Language for Categories Enriched over Generalised Metric Spaces Renato Neves
(University of Minho)
Thu 17 Feb Representing Guardedness (slides) Sergey Goncharov
(FAU Erlangen-Nürnberg)
Thu 10 Mar Lessons from Failing Distributive Laws Maaike Zwart
(IT University of Copenhagen)
Thu 24 Mar Quantum Registers Dominique Unruh
(University of Tartu)
Thu 7 Apr A General Framework for Cofunctors Bryce Clarke
(Inria Saclay Centre and Macquarie University)
Thu 14 Apr Logical Relations, Fibrations, and Definability for Call-by-Value Languages Philip Saville
(University of Oxford)
Thu 19 May LNL Polycategories Michael Shulman
(University of San Diego)
Thu 02 Jun More on Modal Embeddings and Calling Paradigms José Carlos Espirito Santo
(University of Minho)
Thu 16 Jun Catoids as a Basis for Algebras of Programs Georg Struth
(University of Sheffield)