Games for Logic and Programming Languages XIII

14-15 April 2018, Thessaloniki, Greece 

An ETAPS-affiliated workshop

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.

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=galop2018

The important dates are:

  • Submission: 22 January 2018 (Extended to 29 January 2019)
  • Notification: 12 February 2018
  • Workshop: 14-15 April 2018

Registration

Follow this link

Invited Speakers

Programme

Saturday, April 14

08.45 – 09.00: Welcome
 
09.00 – 10.00: Invited Talk (chair: Ugo Dal Lago)
Matteo Mio. A Random Walk on Games.
I will discuss some basic ideas of  the theory of infinite games (from set--theory) and some very early ideas of game semantics (from computer science) that, together, inspired my own work on stochastic games.
 
10.00 – 10.30: Coffee Break
 
10.30 – 12.30: Session 1 (chair: Ugo Dal Lago)
Jules Hedges and Josef Bolt. Bisimulations of open games
Guilhem Jaber and Nikos Tzevelekos. An overview of game semantics for polymorphism
 
12.30 – 14.00: Lunch
 
14.00 – 16.00: Session 2
 
16.00 – 16.30: Coffee Break
 
16.30 – 17.50: Session 3
 
Sunday, April 15
 
09.00 – 10.00: Invited Talk
Ulrich Schoepp. The Geometry of Interaction as a Module System.
The Geometry of Interaction (GoI) was originally introduced by Girard in the context of Linear Logic. A number of its recent applications concern the interpretation and analysis of functional programming languages, with applications ranging from hardware synthesis to quantum computation. In this talk I will argue that for such programming-language applications it is useful to understand the GoI as a module system in the style of Standard ML. The structure of particle-style GoI models is naturally expressed by such a module system. This view provides a familiar formalism for working with the GoI that abstracts from inessential implementation details and that is convenient for implementation tasks. With this view, the GoI becomes a method of implementing ML-style module systems for a wide range of first-order programming languages. It can be considered as a higher-order generalisation of systems-level linking. The relation between the GoI and the proposed module system is established by a linear version of the F-ing modules approach of Rossberg, Russo and Dreyer that uses as new decomposition of the exponential rules of Linear Logic.
 
10.00 – 10.30: Coffee Break
 
10.30 – 12.30: Session 4 (chair: Simon Castellan)
Pierre Clairambault, Marc de Visme, Frank Roumen and Glynn Winskel. Quantum Game Semantics

12.30 – 14.00: Lunch
 
14.00 – 16.00: Session 5 (chair: Nikos Tzevelekos)
Raphaëlle Crubillé and Ugo Dal Lago. Towards Higher-Order Cryptography.
 
16.00 – 16.30: Coffee Break
 
16.30 – 18:00: Session 6
Matteo Mio. A Random Walk on Games (the invited talk which was supposed to be given on April 14th at 9.00).


Programme Committee