Monday, June 24, 2013

[DMANET] GALOP 2013 -- call for participation

======================================================================
*** CALL FOR PARTICIPATION ***

GaLoP VIII

8th Workshop on Games for Logic and Programming Languages

18-19 July 2013, Queen Mary, University of London, UK
http://www.gamesemantics.org/galop-viii


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

We are pleased to announce the details of this year's GaLoP workshop.

REGISTRATION

There is no registration fee for attendance at this informal workshop. However, participants are asked to register by sending an email to
nikost@eecs.qmul.ac.uk.

INVITED SPEAKERS

Ichiro Hasuo, Tokyo
Colin Stirling, Edinburgh
Viktor Winschel, Mannheim
Nobuko Yoshida, Imperial

PROGRAMME

Thursday 18th July


10:00-11:15: coffee and arrivals

11:15-12:30:

INVITED TALK - Nobuko Yoshida: Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

Raymond Hu, Rumyena Neyova and Nobuko Yoshida: Multiparty session types and their application in large distributed systems

12:30-14:00: lunch

14:00-15:15:

INVITED TALK - Colin Stirling: Introduction to decidability of higher-order matching

Valentin Blot: Realizability for Peano Arithmetic with Winning Conditions in HO Games

15:15-15:45: coffee

15:45-17:00:

INVITED TALK - Viktor Winschel: A Coalgebraic Framework for Games in Economics (joint work with Achim Blumensath)

Jules Hedges: Sequential and simultaneous games with selection functions


Friday 19th July

09:00-10:30:
Julian Gutierrez and Michael Wooldridge: Equilibria in Games on Event Structures

Cai Wingfield, Guy McCusker and John Power: Graphical Foundations for Dialogue Games

Paul Blain Levy: Morphisms between plays

10:30-11:00: coffee

11:00-12:15

INVITED TALK - Ichiro Hasuo: Categorical GoI for Higher-Order Quantum Computation

Ugo Dal Lago and Margherita Zorzi: Wave-Style Token Machines and Quantum Lambda Calculi

12:15-14:00: lunch

14:00-15:00

Dan Ghica and Olle Fredriksson: Game Semantics for Abstract Machines, revisited

Alex I. Smith: A Tag-Based Approach to Syntactic Control of Interference

15:00-15:30: coffee

15:30-16:30

James Laird: Games for Model-Checking Generic Polymorphism

Andrzej Murawski and Nikos Tzevelekos: Deconstructing general references via game semantics

16:30-17:00: Wrapping up

LOCAL INFORMATIOM

Available at http://www.gamesemantics.org/galop-viii/local-information

ORGANIZING COMMITTEE

Organising co-chairs:

Guy McCusker, Bath
Nikos Tzevelekos, QMUL

Program committee:

Ugo Dal Lago, Bologna
Dan Ghica, Birmingham
Juha Kontinen, Helsinki
Guy McCusker, Bath (co-chair)
Andrzej Murawski, Warwick
Nikos Tzevelekos, QMUL (co-chair)
Glynn Winskel, Cambridge
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************