======================================================================

                     *** CALL FOR PARTICIPATION ***

                                GaLoP V

      5th Workshop on Games for Logic and Programming Languages
                    (satellite event of ETAPS 2010)

                            Paphos, Cyprus
                           20-21 March 2010

           http://perso.ens-lyon.fr/olivier.laurent/galop10/

======================================================================


REGISTRATION

  http://www.etaps10.cs.ucy.ac.cy/

  * early registration:  before February 15
  * normal registration: between February 16 and February 28
  * late registration:   after March 1


PROGRAM

Saturday, March 20th

  Morning
    * [Invited talk] Jean Goubault-Larrecq
        Games on Infinite Domains and Approximation

    * Understanding Game Semantics through Coherence Spaces
        (Ana C. Calderon and Guy McCusker)
    * Type Systems for Control of Pipelining
        (Dan Ghica)

  Afternoon
    * [Invited talk] Jacques Duparc
        On Wadge Reducibility
    * The lambda lambda-bar calculus:
      a calculus for static, fine grained control of the view
        (Alexis Goyet)

    * Game semantics and normalization
        (Pierre Clairambault)
    * Realizability for games
        (Olivier Laurent)
 
Sunday, March 21st

  Morning
    * [Invited talk] Kazushige Terui
    * Graphs of Interaction : Multiplicatives
        (Thomas Seiller)

    * Incarnation in Ludics and maximal cliques
        (Christophe Fouquere and Myriam Quatrini)
    * Multiparty Session Types
        (Nobuko Yoshida)

  Afternoon
    * [Invited talk] Andrzej Murawski
        Who needs semaphores?
        Full abstraction without synchronization
    * Algorithmic Game Semantics and Symbolic Execution
        (David Hopkins and Luke Ong)

    * AJM-games revisited
        (Nikos Tzevelekos and Samson Abramsky)
    * Pointer game semantics for polymorphism
        (Paul Blain Levy and Soren B. Lassen)


INVITED SPEAKERS

  * Jacques Duparc, Lausanne
  * Jean Goubault-Larrecq, Cachan
  * Andrzej Murawski, Oxford
  * Kazushige Terui, Kyoto


ABOUT GALOP

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.

The fifth GaLoP will be held in Paphos (Cyprus) between March 20 and
21 and will be part of the European Joint Conferences on Theory and
Practice of Software (ETAPS 2010).