Tuesday, April 8, 2014

[DMANET] Second call for papers: APAL special issue on games for logic and programming languages

ANNALS OF PURE AND APPLIED LOGIC (APAL)

SPECIAL ISSUE ON GAMES FOR LOGIC AND PROGRAMMING LANGUAGES

CALL FOR PAPERS

TOPIC

Game semantics has emerged as a new and successful paradigm in the field of semantics of logics and programming languages. Game semantics made its breakthrough in computer science in the early 90s, providing an innovative set of methods and techniques for the analysis of logical
systems. Subsequently, game-semantic techniques led to the development of the first syntax-independent fully-abstract models for a variety of programming languages, ranging from the purely functional to languages effects such as control, references or concurrency. Nowadays, game semantics has expanded to a variety of fields in theory and analysis of computation, such as theories of concurrency, semantics of lambda calculi and proofs, program analysis, model checking and hardware synthesis.

This special issue, based on the GALOP workshop held at Queen Mary University of London in 2013 (see http://www.gamesemantics.org/galop-viii), aims to reflect new developments in this area.

Topics of interest for contributions to the journal issue include, but are not limited to game semantics and its applications to:

- 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


SUBMISSIONS

Submissions must be original work, which has not been previously published in a full form and is not currently under review for publication elsewhere.

Please submit submissions following APAL's style
(http://authors.elsevier.com/JournalDetail.html?PubID=505603)
on the following easychair link: https://www.easychair.org/conferences/?conf=apalgalop2013

The deadline for submission is May 31st, 2014.

GUEST EDITORS

Martin Hyland (University of Cambridge)
Guy McCusker (University of Bath)
Nikos Tzevelekos (Queen Mary University of London)
**********************************************************
*
* 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/
*
**********************************************************