GaLoP 2015: Call for Participation

GaLoP 2015: Call for Participation

[Pierre Clairambault]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

CALL FOR PARTICIPATION
10th Workshop on Games for Logic and Programming Languages (GaLoP 2015)

London, United Kingdom, 11-12 April

http://www.gamesemantics.org

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.

GaLoP X will be held in London, UK on 11-12 April 2015 as a satellite 
workshop of ETAPS (http://www.etaps.org/).

// Registration //

Via the ETAPS Registration website
http://www.etaps.org/index.php/2015/registration

// Special session & Invited talks //

In celebration of its 10th occurrence, GaLoP 2015 will include a special 
session with talks from some of the key early contributors in game 
semantics. For this occasion the speakers will be:

  * Samson Abramsky, Oxford
  * Pierre-Louis Curien, Paris
  * Luke Ong, Oxford

There will also be invited talks by:

  * Paul Blain Levy, Birmingham
  * Nikos Tzevelekos, London

// Tutorial talk //

  * Andrzej Murawski, Warwick

// Contributed talks //

Parallelism and Synchronization in an Infinitary Context.
Ugo Dal Lago, Claudia Faggian, Benoît Valiron and Akira Yoshimizu.

Multitoken Geometry of Interaction and Multimove Games.
Yann Hamdaoui.

A game semantics for fork(II).
Simon Castellan.

A Characterization of Ludics in Game Semantics.
Christophe Fouquere and Myriam Quatrini.

Internal Completeness in Nonlinear Ludics.
Alice Pavaux.

Least and Greatest Fixed Points in Ludics.
David Baelde, Amina Doumane and Alexis Saurin.

Game Semantics for Bounded Polymorphism.
James Laird.

Reasoning on Equivalence of Stateful Programs: A Marriage of Game 
Semantics and Operational Techniques.
Guilhem Jaber.

Coloured tensorial logic and higher-order model-checking.
Charles Grellois and Paul-André Melliès.

Some Monoidal Fibrations of Tree Automata.
Colin Riba.

Distributive laws and finitary Game Semantics of Linear Logic.
Clément Jacq and Paul-André Melliès.

Caring but not knowing. On preplay communication in infinite games.
Dietmar Berwanger and Marie Van Den Bogaard.

Positional interpretation of Peano arithmetic with winning strategies.
Valentin Blot.

Realizability games for arithmetical formulae.
Étienne Miquey.

Game Semantics: A Paraconsistent Approach.
Can Baskent.