GLLC-21 workshop on 17 November: Modalities, Coalgebra, Complexity and Interaction

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.