[TYPES/announce] Galop V @ ETAPS 2010: Call for participation

[Olivier Laurent]

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

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

     * AJM-games revisited
         (Nikos Tzevelekos and Samson Abramsky)
     * Pointer game semantics for polymorphism
         (Paul Blain Levy and Soren B. Lassen)
     * Understanding Game Semantics through Coherence Spaces
         (Ana C. Calderon and Guy McCusker)

   Afternoon
     * [Invited talk] Jacques Duparc
     * 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
     * Algorithmic Game Semantics and Symbolic Execution
         (David Hopkins and Luke Ong)

     * Type Systems for Control of Pipelining
         (Dan Ghica)


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).