Dear all, The submission deadline for the Games for Logic and Programming Languages III workshop (ETAPS 2008, March 29 - April 6, 2008, Budapest, Hungary) has been extended to February 14. The call for submissions is attached below. GAMES FOR LOGIC AND PROGRAMMING LANGUAGES III ETAPS 2008, March 29 - April 6, 2008, Budapest, Hungary ============================================== *The submission deadline has been extended to February 14.* The submission site is open: http://www.easychair.org/conferences/?conf=galop08 Introduction 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. Contributions are invited on all pertinent subjects, with particular interest in compositional game-semantic models. Typical but not exclusive areas of interest are: * categorical aspects; * algorithmic aspects; * programming languages and full abstraction; * semantics of logics and proof systems; * proof search; * higher-order automata; * program verification and model checking; * program analysis; * security; * theories of concurrency; * probabilistic models. Publication This is intended to be an informal workshop without widely distributed proceedings. We therefore ask for submission both of short abstracts outlining what will be presented at the workshop and of longer papers describing completed work, either published or unpublished, in the relevant areas. A special issue of the journal Annals of Pure and Applied Logic associated with the workshop will be discussed at the workshop. Important dates # Submission: February 14 # Notification: March 1 # Workshop: April 5-6 Invited speakers # Gabriel Sandu, Helsinki # Paul-André Melliès, PPS Program committee # Dan Ghica (co-chair), Birmingham # Russ Harmer (co-chair), PPS # Martin Hyland, Cambridge # Pierre Hyvernat, Savoie # Jim Laird, Bath # John Longley, Edinburgh # Andrzej Murawski, Oxford # Andrea Schalk, Manchester --- 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