From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8462 Path: news.gmane.org!not-for-mail From: Pierre Clairambault Newsgroups: gmane.science.mathematics.categories,gmane.comp.science.types.announce Subject: Final CfP: GaLoP 2015 Date: Fri, 16 Jan 2015 17:09:41 +0100 Message-ID: Reply-To: Pierre Clairambault NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1421437912 30866 80.91.229.3 (16 Jan 2015 19:51:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 16 Jan 2015 19:51:52 +0000 (UTC) To: types-announce@lists.seas.upenn.edu, categories@mta.ca, gdr-im@gdr-im.fr Original-X-From: majordomo@mlist.mta.ca Fri Jan 16 20:51:50 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YCCvs-00083R-BT for gsmc-categories@m.gmane.org; Fri, 16 Jan 2015 20:51:48 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:53543) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YCCuW-00083v-Nz; Fri, 16 Jan 2015 15:50:24 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YCCuW-0004To-4b for categories-list@mlist.mta.ca; Fri, 16 Jan 2015 15:50:24 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8462 gmane.comp.science.types.announce:4988 Archived-At: 10th Workshop on Games for Logic and Programming Languages (GaLoP 2015) London, United Kingdom, 11-12 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 X will be held in London, UK on 11-12 April 2015 as a satellite workshop of ETAPS (http://www.etaps.org/). Areas of interest include: * Games and other interaction-based denotational 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 an abstract (up to one page) 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=galop2015 // Important Dates // Submission: January 25, 2015 Notification: February 10, 2015 Workshop: April 11-12, 2015 // Invited talks // In celebration of its 10th occurrence, GaLoP 2015 will include a special session with talks from some of the key early contributors in game semantics. For this occasion the speakers will include: * Samson Abramsky, Oxford * Pierre-Louis Curien, Paris * Martin Hyland, Cambridge * Luke Ong, Oxford There will also be invited talks by: * Paul Blain Levy, Birmingham, * Nikos Tzevelekos, London Finally, there will also be a tutorial talk by: * Dan Ghica, Birmingham // Program Committee // * Pierre Clairambault, Lyon (Chair) * Dan Ghica, Birmingham * Tom Hirschowitz, Chamb??ry * Naohiko Hoshino, Kyoto * Luke Ong, Oxford * Gabriel Sandu, Helsinki * Ulrich Sch??pp, Munich [For admin and other information see: http://www.mta.ca/~cat-dist/ ]