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@cs.bham.ac.uk) or Guy McCusker (guym@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@cs.bham.ac.uk http://www.cs.bham.ac.uk/~drg