[TYPES/announce] First CFP: GALOP 2024

[Pierre Clairambault]

15th Workshop on Games for Logic and Programming Languages (GALOP 2024)

London, UK, 14 January 2024.

Affiliated with POPL 2024.

https://urldefense.com/v3/__https://popl24.sigplan.org/home/galop-2024__;!!IBzWLUs!VnH0gPDRrmuK_kSq4Ib3g76FetchqqtLchyhh8fLZvN8PkBZ_JxlF20i0D2nCu7n14uP0kSzz6XMWpmEY9jUi_M5c-Pu1n1nd-ZHXdgqww$ 

GALOP is an international workshop on formal models for compositional 
program interaction and their applications. This is an informal workshop 
that welcomes work in progress, overviews of more extensive work, 
programmatic or position papers and tutorials.

Areas of interest include, but are not limited to:
   * Games and other interaction-based denotational models;
   * Game-based program analysis and verification;
   * Logics for games and games for logics;
   * Algorithmic aspects of game semantics;
   * Categorical aspects of game semantics;
   * Geometry of interaction and Ludics;
   * Taylor expansion of programs and intersection type systems;
   * Relational models and their categorifications;
   * String diagrams and compositionality;
   * Open and normal form bisimulation;
   * Trace semantics;
   * Compositional program certification and certification of 
interactive program behaviour.

There will be no formal proceedings but the possibility of a special 
issue in a journal will be considered (the 2005, 2008 and 2011 workshops 
led to special issues in Annals of Pure and Applied Logic).


// Submission Instructions //

Please submit an abstract (up to 2 pages) of your proposed talk on the 
submission page below. Supplementary material may be submitted, and will 
be considered at the discretion of the PC.

https://urldefense.com/v3/__https://galop24.hotcrp.com/__;!!IBzWLUs!VnH0gPDRrmuK_kSq4Ib3g76FetchqqtLchyhh8fLZvN8PkBZ_JxlF20i0D2nCu7n14uP0kSzz6XMWpmEY9jUi_M5c-Pu1n1nd-bWtCoF1g$ 


// Important Dates //

Submission: 3 November 2023
Notification: 17 November 2023
Workshop: 14 January 2024


// Invited Speakers //

   * Ugo Dal Lago, University of Bologna; Inria
   * Zhong Shao, Yale University


// Program Committee //

   * Aurore Alcolei, Inria Rennes
   * Pierre Clairambault, CNRS & LIS, Aix-Marseille Université (co-chair)
   * Dan Ghica, Huawei
   * Guilhem Jaber, Nantes Université
   * Jim Laird, University of Bath
   * Paul-André Melliès, CNRS; Université de Paris
   * Andrzej Murawski, University of Oxford
   * Hugo Paquet, LIPN, Université Sorbonne Paris Nord
   * Nikos Tzevelekos, Queen Mary University of London (co-chair)
   * Yannick Zakowski, Inria