Since its start on November 1999, the workshop series on Games, Logic, Language and Computation (GLLC) has brought together researchers from diverse fields, like logic, informatics, social sciences and humanities, with the aim of discussing connections within these different areas under the occasion of dissertation defenses on major themes.
The theme of this 21th GLLC edition is Modalities, Coalgebra, Complexity and Interaction , and it will bring together researchers working at the interface between these fields. The workshop will be hosted by the Institute for Logic, Language and Computation (ILLC) of the Universiteit van Amsterdam (UvA) on the occasion of the defense of the PhD dissertations Complexity in Interaction by Lena Kurzen and Modalities Through the Looking Glass: A study on coalgebraic modal logic and their applications by Raul Andres Leal.
|9:30 — 10:00||Coffee Break|
|10:00 — 10:30||Jiri Adamek
|10:30 — 11:00||Clemens Kupke
Dualities and the minimisation of automata
|11:00 — 11:30||Raul Leal
Two Representation Theorems in Coalgebraic Modal Logic
|11:30 — 12:00||Alexander Kurz
Coalgebraic Logic over Posets
|12:00 — 12:30||Alexandru Baltag
Coalgebras in Interaction
|12:30 — 14:00||Lunch|
|14:00 — 14:30||Christof Loeding
|14:30 — 15:00||Pieter Adriaans
|15:00 — 15:30||Krzysztof Apt
Common Knowledge in Email Exchanges
|15:30 — 16:00||Coffee Break|
|16:00 — 16:30||Lena Kurzen
The Complexity of Comparing Information Structures
|16:30 — 17:00||Maartje Raijmakers
Children’s Strategy Use in Playing Strategic Games
|17:00 — 17:30||Jos Uiterwijk
Selective Search in Games of Different Complexity
More information can be found on the workshop’s website.
On the next day, 18 November Raul Andres Leal will defend his thesis Modalities Through the Looking Glass: A study on coalgebraic modal logic and their applications from 11:00 hrs and Lena Kurzen will defend her thesis Complexity in Interaction from 13:00 hrs in Aula der Universiteit – Singel 411.