[TYPES] Call for Papers: APAL Special Issue on Game Semantics

[Dan Ghica]

ANNALS OF PURE AND APPLIED LOGIC (APAL)

SPECIAL ISSUE ON GAMES FOR LOGIC AND PROGRAMMING LANGUAGES

CALL FOR PAPERS

TOPIC

In the past decade 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 with imperative features such as control,
references or concurrency.  There are also emerging connections
between game semantics and other semantic theories, including the
the pi-calculus and domain theory. In addition to semantic
analysis, an algorithmic approach to game semantics has recently
been developed, with a view to applications in computer assisted
verification and program analysis.

This special issue, based on a workshop held at ETAPS 2005 (see
http://www.cs.bham.ac.uk/~drg/galop.html), 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 interaction systems, proof search, model
checking, information flow, programming languages and
logics. Workshop participants are encouraged to submit, but
submissions are not limited to workshop participants.

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 send PDF submissions following APAL's style
(http://authors.elsevier.com/JournalDetail.html?PubID=505603)
to Dan Ghica (drg at cs.bham.ac.uk) or Guy McCusker (guym at sussex.ac.uk).

The deadline for submission is November 1st, 2005.

GUEST EDITORS

Dan Ghica (University of Birmingham)
Guy McCusker (University of Sussex)


---
Dr. Dan Ghica, Lecturer
School of Computer Science
University of Birmingham
Birmingham B15 2TT
tel: +44 121 414 8819
mailto:D.R.Ghica at cs.bham.ac.uk
http://www.cs.bham.ac.uk/~drg