Because of the uncertainty associated with the current Coronavirus pandemic, GaLoP 2020 is postponed until further notice. We currently intend to run GaLoP alongside the rescheduled ETAPS symposium.
25-26 April 2020, Dublin, Ireland Postponed in line with ETAPS 20202.
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.
Areas of interest include:
There will be no formal proceedings but the possibility of a special issue in a journal will be considered. (The 2005, 2008, 2011 and 2014 workshops led to special issues in Annals of Pure and Applied Logic.)
Please submit an abstract (up to one page, excluding bibliography) of your proposed talk on the EasyChair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC.
https://easychair.org/conferences/?conf=galop2020