Computer Science Theory Seminar (Autumn 2024 - Spring 2025)

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
Tue 27 Aug Categories graded and bigraded by monoidal categories: functor categories and bifunctors over non-symmetric bases Rory Lucyshyn-Wright
(Brandon University)
Thu 12 Sep A recipe for enriched categories Nathanael Arkor
(Tallinn University of Technology)
Mon 16 Sep Programming languages I have known and loved Robin Cockett
(University of Calgary)
Thu 24 Oct Directed equality with dinaturality Andrea Laretto
(Tallinn University of Technology)
Thu 31 Oct Coalgebraic modal logic for cellular automata Lulof Pirée
(Tallinn University of Technology)
Thu 5 Dec Transfinite induction principles and iterated reflection principles Joonas Jürgen Kisel
(Tallinn University of Technology)
Thu 12 Dec @ 10:30 Factorisation systems and (virtual) equipments Keisuke Hoshino
(RIMS Kyoto University)
Fri 11 Jan Proof systems for extensions of hybrid logic with complex terms Andrzej Indrzejczak
(University of Łódź)
Tue 14 Jan Context-free languages as models of context-free grammars Noam Zeilberger
(École Polytechnique)
Thu 13 Feb TBA Philipp Joram
(Tallinn University of Technology)
Thu 13 Mar TBA Stefania Damato
(University of Nottingham)