| 16:00 | |
|---|---|
| The bus leaves from the University of Tampere to Murikanranta |
| 17:15 | |
|---|---|
| Coffee |
| 17:40 | |
|---|---|
| Opening words |
| 17:50 | Jouko Väänänen: |
|---|---|
| Generalized Quantifiers |
| 19:00 | |
|---|---|
| Evening Program: Sauna and Evening Snack |
| 07:30 | |
|---|---|
| Breakfast |
| 08:45 | Anuj Dawar: |
|---|---|
| Symmetric Circuits with non-Symmetric Gates |
| 09:30 | Kerkko Luosto: |
|---|---|
| Studying quantifiers with Lauri |
| 10:15 | |
|---|---|
| Coffee break |
| 10:45 | Dag Westerståhl: |
|---|---|
| Why should we care about logical constants? |
| 11:30 | Juliette Kennedy: |
|---|---|
| On Kreisel's Squeezing Argument |
| 12:15 | |
|---|---|
| Lunch |
| 13:45 | Miguel Couceiro: |
|---|---|
| On the Efficiency of Normal Form Systems for Representing Boolean Functions |
| 14:30 | Antti Kuusisto: |
|---|---|
| Model counting beyond two-variable logic |
| 15:15 | |
|---|---|
| Coffee break |
| 15:45 | |
|---|---|
| Evening Break (Walk in the nature or free activities) |
| 17:45 | Phokion Kolaitis: |
|---|---|
| Logic, Constraints, and Quantum Information |
| 19:00 | |
|---|---|
| Dinner |
| 07:30 | |
|---|---|
| Breakfast |
| 09:00 | Valentin Goranko: |
|---|---|
| Playing with time and playing in time |
| 09:45 | Jukka Suomela: |
|---|---|
| Logical Characterisations in Distributed Computing |
| 10:30 | |
|---|---|
| Coffee break |
| 11:00 | Tapani Hyttinen: |
|---|---|
| First-order theory of free projective planes |
| 11:45 | |
|---|---|
| Short break |
| 10:50 | José María Turull-Torres: |
|---|---|
| On Fragments of Higher Order Logics that on Finite Structures Collapse to a Lower Order |
| 11:35 | Jonni Virtema: |
|---|---|
| Expressivity within second-order transitive-closure logic |
| 13:20 | |
|---|---|
| Lunch |
| 15:00 | |
|---|---|
| The bus leaves from Murikanranta to Tampere city center |