Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

14 - 15 April 2018, 13th Workshop on Games for Logic and Programming Languages (GaLoP 2018), Thessaloniki, Greece

Date: 14 - 15 April 2018
Location: Thessaloniki, Greece
Deadline: Monday 29 January 2018

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.

Invited Speakers: Guy McCusker, Matteo Mio and Ulrich Schöpp.

Please submit an abstract (up to one page, excluding bibliography) of your proposed talk on the EasyChair submission page. Supplementary material may be submitted, and will be considered at the discretion of the PC. There will be no formal proceedings but the possibility of a special issue in a journal will be considered.

For more information, see http://www.gamesemantics.org.