Child pages
  • 21st Wessex Theory Seminar: Workshop on Games for Logic and Programming Languages (GaLoP 2013)

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

 

8th Workshop on Games for Logic and Programming Languages (GaLoP 2013)
 (part of the Wessex Theory Seminar)

Queen Mary, University of London, 18-19 July 2013

   http://www.gamesemantics.org/galop-viii

Announcement

We are pleased to announce the details of this year's GaLoP workshop, affiliated with the Wessex Theory Seminar. Take a look at the official GaLoP VIII web page for full details and local information

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

The workshop will be part of the Wessex Theory Seminar, so there is a (very) small amount of travel funding available to those people working at Wessex sites. If you would like to apply for it, please email Guy McCusker (G.A.McCusker@bath.ac.uk).

Invited Speakers

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

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

Participants

TBA

Travel Funding

The workshop will be part of the Wessex Theory Seminar, so there is a (very) small amount of travel funding available to those people working at Wessex sites. If you would like to apply for it, please email Guy McCusker (G.A.McCusker@bath.ac.uk).

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