GALOP 2024
Sun 14 Jan 2024 London, United Kingdom
co-located with POPL 2024
All Editions
Sun 14 Jan 2024 London, United Kingdom

GALOP 2024 with POPL 2024

About GALOP is an international workshop on formal models for compositional program interaction and their applications. The first GALOP was held in 2005 and there have been 14 occurrences since. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials. At the heart of GALOP is game semantics, a theory rooted in denotational sema ...

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

GaLoP 2019 with ETAPS 2019

GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials.  This is an established ETAPS workshop, which has been running for the past 13 years.