Deadline for abstracts, January 25:

9th Workshop on Games for Logic and Programming Languages (GaLoP 2014)

Grenoble,  France, 12-13 April 

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 IX will be held in Grenoble, France on 12-13 April 2014 as a satellite workshop of ETAPS (http://www.etaps.org/).

Invited Speakers: 
Glynn Winskel (Cambridge)
Ulrich Schφpp (Munich)

Areas of interest include:
  * Games and other interaction-based denotational models;
  * Games-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.

There will be no formal proceedings but the possibility of a special issue in a journal will be considered (the 2005, 2008 and 2011 workshops led to special issues in Annals of Pure and Applied Logic).

Submission Instructions 

Please submit an abstract (up to one page) 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://www.easychair.org/conferences/?conf=galop2014

Important Dates 

Submission: January 25, 2014
Notification: February 5, 2014
Workshop: April 12-13, 2014


 Program Committee 

• Pierre Clairambault, Lyon
• Dan Ghica, Birmingham
• Ichiro Hasuo, Tokyo
• Jim Laird, Bath (chair)
• John Longley, Edinburgh
• Gabriel Sandu, Paris
• Alexis Saurin, Paris