tentative programme
| 8.30 - 9.15 | Registration |
| 9.15 - 9.30 | Opening |
| Chair: Tomáš Kroupa | |
| 9.30 - 10.30 | Gabriel Sandu Nash equilibrium semantics for languages of imperfect information (Slides) |
| 10.30 - 11.00 | Christian Fermüller Games, equilibrium semantics, and many-valued connectives (Slides) |
| --Coffee break-- | |
| 11.30 - 12.00 | Bruno Teheux Dynamic many-valued logics for searching games with errors (Slides) |
| 12.00 - 12.30 | Enrico Marchioni On discrete Łukasiewicz games (Slides) |
| --Lunch-- | |
| Chair: Petr Cintula | |
| 14.00 - 15.00 | Ryszard Wojcicki Logics of cognitive strategies: referentiality vs. many-valuedness (Slides) |
| 15.00 - 15.30 | Joan Gispert and Antoni Torrens Lattice BCK logics with modus ponens as unique rule (Slides) |
| --Coffee break-- | |
| 16.00 - 16.30 | Paolo Baldi A proof theoretical approach to standard completeness (Slides) |
| 16.30 - 17.00 | George Metcalfe Decidability for Gödel modal logics (Slides) |
| 17.00 - 17.30 | EUSFLAT award for Petr Hájek (Slides1) (Slides2) |
| 17.30 - 20.00 | Welcome party |
