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 |