[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