Skip to end of metadata
Go to start of metadata

LOGIC WORKSHOP

26 August, 12-16 in the lecture room C123 of Exactum building, Kumpula.

Workshop Program



Time

Pietro Galliani: What is it like to first order? Lessons from Compositionality, Teams and Games.

12:15
Tuomas Hakoniemi: Automatizability and feasible interpolation
12:45
Antti Kuusisto: On computational logics
13:15
Coffee13:45
Kerkko Luosto: TBA14:15
Vadim Kulikov:

Towards a Logical Approach to Enactivist Cognitive Science

14:45
Jouko Väänänen: TBA15:15
  • No labels