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
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)