[TYPES/announce] 7th Workshop on Games for Logic and Programming Languages (GaLoP)

Dan Ghica d.r.ghica at cs.bham.ac.uk
Tue Mar 13 07:04:58 EDT 2012


// Call for Submissions //

7th Workshop on Games for Logic and Programming Languages
(GaLoP 2012)

// LICS 2012 // Dubrovnik, Croatia // 29 June //

http://sites.google.com/site/galopws/

GaLoP is the 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.

GaLoP VII will be held in Dubrovnik, Croatia, on June 29 2012.
It will be associated with the Twenty-Seventh Annual ACM/IEEE Symposium
on LOGIC IN COMPUTER SCIENCE (LICS 2012)

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;
       * 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 and a similar
issue for GaLoP 2011 is in the works).

// Submission Instructions //

Please email an abstract of your proposed talk to Dan Ghica
(D.R.Ghica at cs.bham.ac.uk). You may also submit an accompanying paper for
the talk.

// Important Dates //

Submission: April 1
Notification: April 10
Workshop: June 29

// Steering Committee //

• Samson Abramsky (Chair), Oxford
• Pierre-Louis Curien, PPS
• Claudia Faggian, PPS
• Dan Ghica, Birmingham
• Ichiro Hasuo, Tokyo
• Jim Laird, Bath
• Olivier Laurent, ENS Lyon
• Guy McCusker, Bath
• Luke Ong, Oxford
• Gabriel Sandu, Paris
• Andrea Schalk, Manchester
• Jouko Vaananen, Helsinki

-- 
Dan Ghica ∷ U. of Birmingham ∷ Sr. Lecturer ∷ http://bit.ly/drgbham


More information about the Types-announce mailing list