[TYPES/announce] GALOP 2013 - Call for Participation

Nikos Tzevelekos nikost at eecs.qmul.ac.uk
Mon Jun 24 05:57:25 EDT 2013


======================================================================
                      *** 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 at 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


More information about the Types-announce mailing list