[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Dear all,We're a bit short of submissions for GaLoP so we're extending the deadline to 3 February. This is an area with lots of connections to different fields, so if you're doing anything related, then please use the workshop as an opportunity to share it with the community. Work in progress is very much welcome.
Also I can now confirm our invited speakers: they are Cormac Flanagan of the University of California, Santa Cruz, and John Longley of the University of Edinburgh.
Best regards, Paul --- 11th Workshop on Games for Logic and Programming Languages (GaLoP 2016) Eindhoven, Netherlands, 2-3 April http://www.gamesemantics.org GaLoP 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.GaLoP XI will be held in Eindhoven, Netherlands, on 2-3 April 2016 as a satellite
workshop of ETAPS (http://www.etaps.org/). Areas of interest include:* Games and other interaction-based denotational and operational models;
* Games-based program analysis and verification; * Logics for games and games for logics; * Algorithmic aspects of game semantics; * Categorical aspects of game semantics; * Programming languages and full abstraction; * Higher-order automata and Petri nets; * Geometry of interaction; * Ludics; * Epistemic game theory; * Logics of dependence and independence; * Computational linguistics; * Games and multi-valued logics. There will be no formal proceedings but the possibility of a special issue in a journal will be considered. (The 2005, 2008, 2011 and 2014 workshops led to special issues in Annals of Pure and Applied Logic.) // Submission Instructions //Please submit either a text abstract or a PDF of up to one page, excluding bibliography, of your proposed talk on the easychair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC.
https://easychair.org/conferences/?conf=galop2016 // Important Dates // Submission: 3 February 2016 *Extended deadline* Notification: 10 February 2016 Workshop: 2-3 April 2016 // Invited talks // Cormac Flanagan (University of California, Santa Cruz) John Longley (University of Edinburgh) // Program Committee // Valentin Blot, Bath Radha Jagadeesan, DePaul Paul Levy, Birmingham (chair) Andrzej Murawski, Warwick Myriam Quatrini, Aix-Marseille Sylvain Salvati, Inria Takeshi Tsukada, Tokyo
