[FOM] DEADLINE EXTENDED: 13th Workshop on Games for Logic and Programming Languages (GaLoP 2018), Thessaloniki, Greece, 14-15 April, 2018. The new deadline for submissions is January 29th 2018.

[Barbero, Fausto]

(Apologies for multiple postings)


DEADLINE EXTENDED: 13th Workshop on Games for Logic and Programming Languages (GaLoP 2018), Thessaloniki, Greece, 14-15 April, 2018. The new deadline for submissions is January 29th 2018.

http://www.gamesemantics.org<http://www.gamesemantics.org/>

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.

GaLoP XII will be held in Thessaloniki, Greece, on 14-15 April 2018 as a  satellite workshop of ETAPS (http://www.etaps.org/).

Areas of interest include:
   * Games and other interaction-based denotational and operational
       models;
   * Game-based program analysis and verification;
   * Logics for games and games for logics;
   * Algorithmic aspects of game semantics;
   * Categorical aspects of game semantics;
   * Programming languages and full abstraction;
   * Higher-order automata and Petri nets;
   * Geometry of interaction;
   * Ludics;
   * Epistemic game theory;
   * Logics of dependence and independence;
   * Computational linguistics;
   * Games and multi-valued logics.

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.)

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


Important Dates

Submission: 29 January 2018
Notification: 12 February 2018
Workshop: 14-15 April 2018




Invited talks

Guy McCusker (Bath)
Matteo Mio (Lyon)
Ulrich Schöpp (München)


 Programme Committee


Federico Aschieri (Vienna)
Alexandru Baltag (Amsterdam)
Simon Castellan (Imperial)
Claudia Faggian (CNRS)
Chris Fermuller (Vienna)
Erich Graedel (Aachen)
Valentin Goranko (Stockholm)
Ugo Dal Lago (Bologna, co-chair)
Ian Mackie (Sussex)
Gabriel Sandu (Helsinki, co-chair)
Heribert Vollmer (Hannover)
Akira Yoshimizu (Tokyo)
Matthijs Vákár (Oxford)



________________________________
From: Sandu, N Gabriel
Sent: Tuesday, January 23, 2018 8:34:13 AM
To: Barbero, Fausto; Pantsar, Markus
Subject: Galop

Dear Markus and Fausto
I finally received an email from Ugo. We decided to extend the deadline of the CFP with one week. Could you please prepare a letter of extension? Ugo will post it to the lists. I need it today. Sorry for this. Gabriel



Sent from my Samsung Galaxy smartphone.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180123/0d5e7e97/attachment-0001.html>