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)