Computer Science Theory Seminar (spring 2020)

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-15.30
Place: Institute of Cybernetics at TTÜ, room B101


Time Title Speaker
Thu 27.02 Skew Everything! Diving Deep under Substructural Logics Niccolò Veltri
Thu 26.03 TBA Niels Voorneveld
Thu 02.04 TBA Niels van der Weide (Radboud University)
Thu 16.04 TBA TBA
Thu 30.04 TBA Maksym Bortin
Thu 14.05 TBA TBA
Thu 28.05 TBA TBA