GaLoP
Conference Editions
Sat 6 - Thu 11 April 2019 Prague, Czech RepublicGaLoP 2019 with ETAPS 2019GaLoP 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. This is an established ETAPS workshop, which has been running for the past 13 years. |
Steering Committee (GaLoP 2019)
Samson AbramskyChair
University of Oxford
United Kingdom
Pierre-Louis Curien
Univ. Paris Diderot and INRIA Paris-Rocquencourt
France
Claudia Faggian
IRIF
France
Dan Ghica
University of Birmingham
United Kingdom
Ichiro Hasuo
National Institute of Informatics
Japan
Jim Laird
University of Bath
United Kingdom
Olivier Laurent
CNRS & ENS Lyon
France
Guy McCusker
University of Bath
United Kingdom
C.-H. Luke Ong
University of Oxford
United Kingdom
Gabriel Sandu
University of Helsinki
Finland
Andrea Schalk
University of Manchester, UK
United Kingdom
Jouko Väänänen
University of Helsinki
Finland