Computer Science Theory Seminar (Autumn 2022 - Spring 2023)

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
Thu 22 Sep	Unsatisfiability of Comparison-Based Non-Malleability for Commitments	Ekaterina Zhuchko (Tallinn University of Technology)
Thu 6 Oct	Constructive Taboos for Ordinals	Fredrik Nordvall Forsberg (University of Strathclyde)
Thu 3 Nov	On Proof Equivalence for Constructive Modal Logic	Matteo Acclavio (Università Roma Tre)
Thu 17 Nov	When Programs Have to Watch Paint Dry	Danel Ahman (University of Ljubljana)
Thu 1 Dec	Your Blockchain Needn’t Care How the Message is Spread	Javier Díaz (Input Output)
Thu 8 Dec	Symmetries in Reversible Programming	Vikraman Choudhury (University of Glasgow)
Thu 15 Dec	Tail recursion modulo cons in OCaml	Gabriel Scherer (École Polytechnique)
Thu 2 Mar	Well Founded Coalgebras	Paul Taylor (University of Birmingham)
Thu 16 Mar	A Formal Logic for Formal Category Theory	Max S. New (University of Michigan)
Thu 8 Jun	Skolemization in Intuitionistic Logic	Rosalie Iemhoff (Utrecht University)
Thu 29 Jun	Cyclic (Co)Inductive Reasoning	Liron Cohen (Ben-Gurion University)