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 |
Coffee | 13:45 |
Kerkko Luosto: TBA | 14:15 |
Vadim Kulikov: Towards a Logical Approach to Enactivist Cognitive Science | 14:45 |
Jouko Väänänen: TBA | 15:15 |