==== Call for Papers ==== ==== 3rd Workshop on Games for Logic and Programming Languages ==== ==== (GaLoP 2008) ==== ==== April 5-6 ==== ==== Budapest, Hungary ==== ==== An ETAPS 2008 Workshop ==== 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. The Third GaLoP will be held in Hungary, Budapest between April 5 and 6. It will be part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008). Contributions are invited on all pertinent subjects, with particular interest in compositional game-semantic models in the style of Hyland-Ong or Abramsky-Jagadeesan-Malacaria. 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. Instructions for submission will be posted on the workshop's web page: http://www.cs.bham.ac.uk/galop There will be no formal proceedings but the possibility of a special issue in a journal will be discussed (selected papers from Galop 2005 will appear in Annals of Pure and Applied Logic). Invited Speakers # Gabriel Sandu, Helsinki # Paul-André Melliès, PPS Important Dates Submission: February 1 Notification: March 1 Workshop: April 5-6 Program Committee # Dan Ghica (co-chair), Birmingham # Russ Harmer (co-chair), PPS # Martin Hyland, Cambridge # Pierre Hyvernat, Savoie # Jim Laird, Sussex # 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