GaLoP
Sun 14 Jan 2024 London, United KingdomGALOP 2024 with POPL 2024About 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 RepublicGaLoP 2019 with ETAPS 2019GaLoP 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. |
