From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8836 Path: news.gmane.org!not-for-mail From: Paul Blain Levy Newsgroups: gmane.science.mathematics.categories,gmane.comp.science.types.announce Subject: Call for participation: Games for Logic and Programming Languages XI Date: Thu, 25 Feb 2016 04:28:31 +0000 Message-ID: Reply-To: Paul Blain Levy 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 1456417990 1973 80.91.229.3 (25 Feb 2016 16:33:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 25 Feb 2016 16:33:10 +0000 (UTC) To: types-announce@lists.seas.upenn.edu, categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Feb 25 17:33:02 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aYyqb-0008Hq-B1 for gsmc-categories@m.gmane.org; Thu, 25 Feb 2016 17:33:01 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:46011) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1aYypv-0001j8-Q7; Thu, 25 Feb 2016 12:32:19 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1aYypo-00055C-Q5 for categories-list@mlist.mta.ca; Thu, 25 Feb 2016 12:32:12 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8836 gmane.comp.science.types.announce:5826 Archived-At: Dear colleagues, I'm happy to announce a great programme for GaLoP 2016, which takes place on 2-3 April in Eindhoven, Netherlands, as part of ETAPS 2016. http://www.gamesemantics.org **Early registration deadline for ETAPS** this Tuesday (1 March) Sorry for the late announcement! We have John Longley as invited speaker, and a game semantics tutorial (tbc) by Dan Ghica. Accepted papers: Weak memory models using event structures Simon Castellan Partial Evaluation and Normalisation by Traversals Neil Jones and Daniil Berezun A Dialectica-Like Approach to Tree Automata Colin Riba Concrete Data Structures as Dialogue Games Cl??ment Jacq and Paul-Andr?? Melli??s Relating causal and interleaving concurrent game semantics Pierre Clairambault and Simon Castellan Extraction from classical proofs using game models Valentin Blot Constructing playgrounds: fibred double categories Clovis Eberhart and Tom Hirschowitz Game Semantics for Dependent Types Matthijs V??k??r Trace semantics for polymorphic references Guilhem Jaber and Nikos Tzevelekos Game Semantics and the Complexity of Interaction Federico Aschieri Interaction Graphs and Quantitative Semantics Thomas Seiler Data and Functions Types in Ludics Alice Pavaux Games with ordinal sequences of moves W. John Gowers and James D. Laird Probabilistic Games for Differential Privacy Luca Fossati and Marco Gaboardi On Compilation and Call-by-Value Games Ulrich Sch??pp Strategies in HO/N games as profunctors Takeshi Tsukada and Kazuyuki Asada Decidability of RML via game semantics Andrzej Murawski **Early registration deadline** Tuesday 1 March (in case you've forgotten) I look forward to seeing you at GaLoP 2016. Best regards, Paul [For admin and other information see: http://www.mta.ca/~cat-dist/ ]