[TYPES/announce] DOMAINS XIII CALL FOR ABSTRACTS
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We welcome your submissions! Best regards, Paul --- Workshop Domains XIII CALL FOR ABSTRACTS https://andrejbauer.github.io/domains-floc-2018/ Date: 7-8 July 2018 as part of FLoC 2018 - The Federated Logic Colloquium, in Oxford http://www.floc2018.org Fifty years of domain theory Fifty years ago, Dana Scott introduced domain theory for the purposes of denotational semantics of programming languages when he was in Oxford, where he worked with Christopher Strachey. This work has had a vast and lasting impact on logic, computer science, and mathematics. As part of the Workshop DOMAINS’2018, which will take place in Oxford on 7–8 July 2018, we will celebrate 50 years of domain theory and Dana Scott’s 85th birthday. The event is affiliated with the Federated Logic Conference 2018 and LICS. We will also commemorate Klaus Keimel, the founder of the workshop Domains series. About the Domains Workshop series The applications of domain theory include programming logics (LCF), design of programming languages, models of the lambda calculus, applications to recursion theory (higher-type computability, Kleene-Kreisel countable functionals), general topology (injective spaces, function spaces, locally compact spaces, Stone duality), topological algebra (Lawson semilattices) and analysis (measure, integration, dynamical systems). Moreover, these applications are related – for example, Stone duality has given rise to a logic of observable properties of computational processes. The Domains workshop series is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. The workshop series focuses on domains, their applications in mathematics and computer science, and related topics. Previous meetings were held in Darmstadt (1994, 1999, 2004), Braunschweig (1996), Munich (1997), Siegen (1998), Birmingham (2002), Novosibirsk (2007), Brighton (2008), Swansea (2011), Paris (2014), and Cork (2015). Topics of interaction with domain theory for this workshop include, but are not limited to - program semantics - program logics - probabilistic computation - exact computation over the real numbers - lambda calculus - games - models of sequential computation - constructive mathematics - recursion theory - realizability - real analysis and computability - topology, metric spaces and domains - idempotent analysis and domains - locale theory - category theory - topos theory - type theory Invited speakers include - Dana Scott (CMU) Programme Committee - Andrej Bauer (Ljubljana) - Martin Escardo (Birmingham) - Achim Jung (Birmingham) - Paul Levy (Birmingham) - Mike Mislove (Tulane) - Dag Normann (Oslo) Organizers - Andrej Bauer (Ljubljana) - Martin Escardo (Birmingham) We plan a special issue in a journal for post-proceedings. Deadline for submission of Abstracts: 18th March Submission via is via Easychair at https://easychair.org/conferences/?conf=domains13. Please keep the abstract to two pages (pdf). Notification of acceptance: 16th April Registration: http://www.floc2018.org/register/
[TYPES/announce] Call for participation: Games for Logic and Programming Languages XI
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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
[TYPES/announce] Extended deadline: GaLoP 2016
[ 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
[TYPES/announce] Call for papers: GaLoP 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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 X 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 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=galop2016 // Important Dates // Submission: 25 January 2016 Notification: 10 February 2016 Workshop: 2-3 April 2016 // Invited talks // To be confirmed. // 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