// Call for Submissions // 6th Workshop on Games for Logic and Programming Languages (GaLoP 2011) // ETAPS 2011 // Saarbrücken, Germany // 26–27 March // http://sites.google.com/site/galopws/ GaLoP is an annual 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. GaLoP VI will be held in Saarbrücken, Germany, between March 26-27. It will be part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2011). Contributions are invited on all pertinent subjects, with particular interest in game-semantic and interaction models for logics and programming languages. 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; * Geometry of Interaction; * Ludics. We particularly encourage submissions in the following related areas of research: * epistemic game theory; * logics of dependence and independence; * computational linguistics. There will be no formal proceedings but the possibility of a special issue in a journal will be considered (selected papers from Galop 2005 and 2008 have appeared in Annals of Pure and Applied Logic). // Submission Instructions // Please email an abstract of your proposed talk to Dan Ghica (D.R.Ghica@cs.bham.ac.uk). You may also submit an accompanying paper for the talk. // Important Dates // Submission: January 20 Notification: February 1 Workshop: March 26-27 // Invited Speakers // • Ian Mackie, Sussex • Mehrnoosh Sadrzadeh, Oxford • Jouko Väänänen, Helsinki • other speakers TBC // Program Committee // • Samson Abramsky, Oxford (co-chair) • Pierre Clairambault, Bath • Claudia Faggian, Paris • Dan R. Ghica, Birmingham (co-chair) • Ugo Dal Lago, Bologna • Jim Laird, Bath • Paul Blain Levy, Birmingham • Guy McCusker, Bath • Andrzej Murawski, Leicester • Paul-André Melliès, Paris • Alexis Saurin, Paris • Nikos Tzevelekos, Oxford [For admin and other information see: http://www.mta.ca/~cat-dist/ ]