[DMANET] 8th Workshop on Games for Logic and Programming Languages (GaLoP 2013)

8th Workshop on Games for Logic and Programming Languages (GaLoP 2013)

// Queen Mary, University of London // London, UK // 18-19 July //

[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 as well as contributed papers and invited talks.

GaLoP VIII will be held in London, UK, on 18-19 July 2013.
It will be a stand-alone workshop hosted at the Mile End campus of Queen Mary, University of London.

Contributions are invited on all pertinent subjects, with particular interest in game-semantic and interaction models for logics and programming languages, and applications to program analysis.

Typical but not exclusive areas of interest are:

* Game theory and interaction models in semantics;
* Games-based program analysis and verification;
* Logics for games and games for logics;
* Algorithmic aspects of games;
* Categorical aspects;
* 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 of your proposed talk on the easychair submission page below. You may also submit an accompanying paper for the talk.

https://www.easychair.org/conferences/?conf=galop2013

// Important Dates //

Submission: May 31
Notification: June 7
Workshop: July 18-19

// Invited speakers //

• Ichiro Hasuo, Tokyo
• Colin Stirling, Edinburgh
• Viktor Winschel, Mannheim
• Nobuko Yoshida, Imperial

// Program Committee //

• Ugo Dal Lago, Bologna
• Dan Ghica, Birmingham
• Juha Kontinen, Helsinki
• Guy McCusker, Bath (co-chair)
• Andrzej Murawski, Warwick
• Nikos Tzevelekos, QMUL (co-chair)
• Glynn Winskel, Cambridge
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************