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.
The workshop will take place in Nina van Leerzaal at Allard Pierson Museum – Oude Turfmarkt 127, from 9:30 to 17:30, with the following program:
| 9:30 — 10:00 | Coffee Break |
| 10:00 — 10:30 | Jiri Adamek
Well-pointed coalgebras |
| 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
TBA |
| 14:30 — 15:00 | Pieter Adriaans
TBA |
| 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.
Further details about both events can be found on the following website. For more information please contact Lena Kurzen.