From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9820 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Pierre Clairambault Newsgroups: gmane.science.mathematics.categories Subject: GaLoP 2019 -- Deadline Extension Date: Sat, 2 Feb 2019 09:10:28 +0100 Message-ID: Reply-To: Pierre Clairambault Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="30282"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Sun Feb 03 15:51:29 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([198.164.44.56]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1gqJ7I-0007hn-Sv for gsmc-categories@m.gmane.org; Sun, 03 Feb 2019 15:51:29 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:38163) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1gqJ6P-0005zi-Lj; Sun, 03 Feb 2019 10:50:33 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1gqJ5c-0007iR-Nc for categories-list@mlist.mta.ca; Sun, 03 Feb 2019 10:49:44 -0400 Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9820 Archived-At: FINAL CALL FOR PAPERS ??? DEADLINE EXTENSION New deadline for submission ** February 8th, 2019 AoE ** ================================= 14th Workshop on Games for Logic and Programming Languages (GaLoP 2019) Prague, Czech Republic, 6-7 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 XIV will be held in Prague, Czech Republic on 6-7 April 2019 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, 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=galop2019 // Important Dates // * Submission: ** February 8, 2019 ** * Notification: February 22, 2019 * Workshop: April 6-7, 2019 // Invited talks // * Nathana??l Fijalkow (CNRS & LaBRI, Bordeaux) * Jules Hedges (University of Oxford) * Paul-Andr?? Melli??s (CNRS & IRIF, Paris) // Program Committee // * Pierre Clairambault (CNRS & ENS Lyon, chair) * Claudia Faggian (CNRS & IRIF) * Pietro Galliani (University of Bozen-Bolzano) * Guy McCusker (University of Bath) * Koko Muroya (RIMS, Kyoto University & University of Birmingham) * Gabriel Sandu (University of Helsinki) * Thomas Seiller (CNRS & LIPN) * Nikos Tzevelekos (Queen Mary University of London) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]