[TYPES/announce] CFP: GaLoP 2020 [Deadline extended]

[Simon Castellan]

15th Workshop on Games for Logic and Programming Languages (GaLoP
2020),
Dublin, 24-25 April, 2020.

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 XV will be held in Dublin, Ireland on 24-25 April 2020 as a
satellite workshop of ETAPS (http://www.etaps.org/).

Areas of interest include:
  * Games and other interaction-based denotational models;
  * Games-based program analysis and verification;
  * Logics for games and games for logics;
  * Algorithmic aspects of game semantics;
  * Categorical aspects of game semantics;
  * Programming languages and full abstraction;
  * Higher-order automata and Petri nets;
  * Geometry of interaction;
  * Ludics;
  * Epistemic game theory;
  * Logics of dependence and independence;
  * Computational linguistics;
  * Games and multi-valued logics.

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

// Submission Instructions //

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

https://easychair.org/conferences/?conf=galop2020

// Important Dates //

  * Submission: ** February 14, 2020 **
  * Notification: February 28, 2020
  * Workshop: April 24-25, 2020

// Invited talks //

  * Zhong Shao (Yale University):
       Certified Abstraction Layers as Games: A Unifying Framework for Composing Heterogeneous Components
  * Ugo Dal Lago (University of Bologna):
       Differential Program Semantics

// Program Committee //

  * Simon Castellan (Imperial College, co-chair)
  * Guy McCusker (University of Bath, co-chair)
  * Tom Hirschowitz (CNRS & Université Savoie)
  * Guilhem Jaber (Université de Nantes)  
  * Paul Levy (University of Birmingham)
  * Andrzej Murawski (University of Oxford)
  * Hugo Paquet (University of Oxford)
 Simon Castellan <simon.castellan at phis.me> (Thu. 13:09) ()
 Subject: [gt-lhc] Final Cfp: GaLoP 2020 [Deadline in a week]
 To: "gt-lhc at gdr-im.fr" <gt-lhc at gdr-im.fr>, "gt-scalp at gdr-im.fr" <gt-scalp at gdr-im.fr>
 Date: Thu, 30 Jan 2020 13:09:11 +0100

 15th Workshop on Games for Logic and Programming Languages (GaLoP
 2020),
 Dublin, 24-25 April, 2020.

 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 XV will be held in Dublin, Ireland on 24-25 April 2020 as a
 satellite workshop of ETAPS (http://www.etaps.org/).

 // Important Dates //

   * Submission: February 7, 2020
   * Notification: February 28, 2020
   * Workshop: April 24-25, 2020

 // Areas of interest //

 Areas of interest include:
   * Games and other interaction-based denotational models;
   * Games-based program analysis and verification;
   * Logics for games and games for logics;
   * Algorithmic aspects of game semantics;
   * Categorical aspects of game semantics;
   * Programming languages and full abstraction;
   * Higher-order automata and Petri nets;
   * Geometry of interaction;
   * Ludics;
   * Epistemic game theory;
   * Logics of dependence and independence;
   * Computational linguistics;
   * Games and multi-valued logics.

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

 // Submission Instructions //

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

 https://easychair.org/conferences/?conf=galop2020

 // Invited talks //

   * Zhong Shao (Yale University):
        Certified Abstraction Layers as Games: A Unifying Framework for Composing Heterogeneous Components
   * Ugo Dal Lago (University of Bologna):
        Differential Program Semantics

 // Program Committee //

   * Simon Castellan (Inria & Univ Rennes 1, co-chair)
   * Guy McCusker (University of Bath, co-chair)
   * Tom Hirschowitz (CNRS & Université Savoie)
   * Guilhem Jaber (Université de Nantes)  
   * Paul Levy (University of Birmingham)
   * Andrzej Murawski (University of Oxford)
   * Hugo Paquet (University of Oxford)