Games for Logic and Programming Languages XIII, Thessaloniki, Greece
Thessaloníki
Greece
Topic areas
Details
Games for Logic and Programming Languages XIII
14-15 April 2018, Thessaloniki, Greece
An ETAPS-affiliated workshop
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.Submission Instructions
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=galop2018
The important dates are:
- Submission: 22 January 2018
- Notification: 12 February 2018
- Workshop: 14-15 April 2018
Registration: TBA
Invited Speakers
- Guy McCusker
- Matteo Mio
- Ulrich Schöpp
Programme: TBA
Programme Committee
- Federico Aschieri
- Simon Castellan
- Ugo Dal Lago (co-chair)
- Christian Fermüller
- Valentin Goranko
- Erich Grädel
- Ian Mackie
- Gabriel Sandu (co-chair)
- Heribert Vollmer
- Akira Yoshimizu
Registration
No
Who is attending?
1 person is attending:
Will you attend this event?