[TYPES/announce] GaLoP 2017

[Marina Lenisa]

______________________________________________________________

12th Workshop on Games for Logic and Programming Languages (GaLoP 2017)

Uppsala, Sweden, 22-23 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 XII will be held in Uppsala, Sweden, on 22-23 April 2017 as a
satellite workshop of ETAPS (http://www.etaps.org/).

Areas of interest include:
  * Games and other interaction-based denotational and operational
      models;
  * Game-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=galop2017

// Important Dates //

Submission: 30 January 2017
Notification: 20 February 2017
Workshop: 22-23 April 2017

// Tutorial //

Lauri Hella

// Invited talks //

Andreas Blass
Dan Ghica
Erich Grädel
Martin Hyland (TBC)

// Programme Committee //

Dietmar Berwanger
Esfandiar Haghverdi
Juha Kontinen (Co-Chair)
Jim Laird
Marina Lenisa (Co-Chair)
Pierre Lescanne
Luke Ong
Jouko Väänänen


__________________________________
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170110/980d1c1c/attachment-0001.html>