CFP: Games for Logic and Programming Languages XIII, Thessaloniki, Greece
Submission deadline: January 21, 2018
Conference date(s):
April 14, 2018 - April 15, 2018
Conference Venue:
Aristotle University of Thessaloniki
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