[TYPES/announce] GaLoP VI Call of Submissions

Dan Ghica D.R.Ghica at cs.bham.ac.uk
Mon Jan 10 12:25:29 EST 2011

// Call for Submissions //

6th Workshop on Games for Logic and Programming Languages
(GaLoP 2011)

// ETAPS 2011 // Saarbrücken, Germany // 26–27 March //


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

    * 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 at 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

More information about the Types-announce mailing list