[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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)
