From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 52D1A5D4 for ; Thu, 30 Aug 2018 20:48:23 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,308,1531778400"; d="scan'208";a="344317531" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Aug 2018 22:48:21 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0A721824C6; Thu, 30 Aug 2018 22:48:21 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7C25581792; Thu, 30 Aug 2018 22:40:55 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=walter.guttmann@canterbury.ac.nz; spf=Pass smtp.mailfrom=walter.guttmann@canterbury.ac.nz; spf=None smtp.helo=postmaster@cantvb.canterbury.ac.nz IronPort-PHdr: =?us-ascii?q?9a23=3ABXAZcxROt0y//6tpO7MTMZ+9Udpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zYRWN2/xhgRfzUJnB7Loc0qyK6/+mATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4KB2SB/ulS?= =?us-ascii?q?gHNiU5/33Tisx3l6JUvg+urAF7z4PbfI2ZMfxzdb7fc9wHX2pMRshfWSxcDI2/?= =?us-ascii?q?YIQAE+QOMP1dr4XhvVYOqQeyCBOoCe7p1zRGhmX23ao/0+k5EQ7JxgggH84Qv3?= =?us-ascii?q?TOsd77NboSUfypzKnN1zrDafVW0ir65YnGaB8hpe2MUqxqccbLxkkvCh/FjkmV?= =?us-ascii?q?qYP/OTOV0P8AvHSB4OpmSeKglXQnpBpsoji1xsYgkJPGiZ4PxlDC9CR02YA4Ls?= =?us-ascii?q?C2Rk58ZN6rCppQtyeCOotsWMwiRmBotzohyrEfpZG7ey4KyJo5yB7FdfOHdZSH?= =?us-ascii?q?7Qz5WOaWOzd4i3Roc6+8iRaq6UWs1+PxWteu3FpXrSdJj8PAum4X2xDN6cWLUu?= =?us-ascii?q?Zx8lqi1DqV0w3f9PtILV4qmafbMZIt3KM8m5QVvE/eBCH5gl/2g7WTdkg8+uin?= =?us-ascii?q?9eDnYrL+q5CALYB0jB3+Mro1lcClHes3KA4OX3SF9uSmz7Lj4Ff5QbVQgvIsjq?= =?us-ascii?q?bVqpbaJMUDqq64BQ9azJoj5g6iAzqoztgUh2QLIVFYdB6dkYTlIU/CLfPgAfe6?= =?us-ascii?q?mVuskTNrx/7cPr3mB5XANnbCn63lfbZh9UFc0hA/zd9C55JIFrEBJej8Wkn3tN?= =?us-ascii?q?HDEhA2KQq0w/r5B9VnzYweRHiPA6+DPKzIrVCE/OQvIuiUaI8PpDn9M+Ql5+Lp?= =?us-ascii?q?jXIhhVASZ6yp3Z8OZHC8H/RmOFmZbGH3gtYBFGcKphAxQPbriF2ESz5TZmy9U7?= =?us-ascii?q?gy5jEhEIimF5vMRpixgLyd2ye2BoFZZmdfClyVDXjoc5iEVOwXZSKJIs5hlyQE?= =?us-ascii?q?WqK7R48g0xGurg76xKB9Iura4C1L/a7kgcVz6+zInhU17jF4St6Q2GCVTmxygn?= =?us-ascii?q?haD2xl8rp4pBlCw1Of3LIwrOFECdla4fUBBhgzMYLR1ap1FszuXwvHeP+CQVC6?= =?us-ascii?q?T8+sHCsgCNs6hdkcNRUuU+6+hwzOinL5S4QekKaGUcBsq/OO7z3KP894jk3++u?= =?us-ascii?q?wkhlgiTNFIMDT21KV28RTeHYTUiVTfnq3sc7ZOhXeRplfG9nKHuQRjaCA1Sb/M?= =?us-ascii?q?BCBNbULQsdnj7F7YXvmnAvIhIFkZkJPQGu5xctTsyG5+arLjNdDZOT/jkG62GQ?= =?us-ascii?q?iCgLiFapbnYW8AxjSbAUNClRJBpXs=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AiAwBKVYhbhxwCtYRaHgEMBoQ0f40Kj?= =?us-ascii?q?TSNW4YFhGgBCiMIAYdlGQcBBDMVAQIBAQIBAQEBARMBAQEKCwkIKSMLAYI1DIJ?= =?us-ascii?q?uLCANCBQCClZ1ASdBgkUBggABD5RhkBODXYQEGYIKihGBWD+BEjOEID2BHQQYg?= =?us-ascii?q?SSDOIJDAogSGZMSBwKCBASHJYZfCVGNeJNNDIFXgXRNghAKgUMIgioaiEiFU4F?= =?us-ascii?q?UAQEBjC8BAQ?= X-IPAS-Result: =?us-ascii?q?A0AiAwBKVYhbhxwCtYRaHgEMBoQ0f40KjTSNW4YFhGgBCiM?= =?us-ascii?q?IAYdlGQcBBDMVAQIBAQIBAQEBARMBAQEKCwkIKSMLAYI1DIJuLCANCBQCClZ1A?= =?us-ascii?q?SdBgkUBggABD5RhkBODXYQEGYIKihGBWD+BEjOEID2BHQQYgSSDOIJDAogSGZM?= =?us-ascii?q?SBwKCBASHJYZfCVGNeJNNDIFXgXRNghAKgUMIgioaiEiFU4FUAQEBjC8BAQ?= X-IronPort-AV: E=Sophos;i="5.53,308,1531778400"; d="scan'208";a="344317218" Received: from cantvb.canterbury.ac.nz ([132.181.2.28]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Aug 2018 22:40:50 +0200 Received: from hp635.hub (118-92-225-213.dsl.dyn.ihug.co.nz [118.92.225.213]) by it.canterbury.ac.nz (PMDF V6.6-x1 #2059) with ESMTPSA id <01QWPVNMKSLG8X1LQT@it.canterbury.ac.nz>; Fri, 31 Aug 2018 08:40:27 +1200 (NZST) Date: Fri, 31 Aug 2018 08:40:20 +1200 (NZST) From: Walter Guttmann To: undisclosed-recipients: ; Message-id: MIME-version: 1.0 Content-type: multipart/mixed; boundary="Boundary_(ID_7KjYowaSVlwskIyPu8zBVg)" User-Agent: Alpine 2.20 (DEB 67 2015-01-07) X-Validation-by: walter.guttmann@canterbury.ac.nz Subject: [Caml-list] RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science Reply-To: Walter Guttmann X-Loop: caml-list@inria.fr X-Sequence: 17040 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --Boundary_(ID_7KjYowaSVlwskIyPu8zBVg) Content-type: text/plain; format=flowed; charset=ISO-8859-15 Content-transfer-encoding: 8BIT CALL FOR PARTICIPATION 17th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2018 29 October to 1 November 2018, Groningen, The Netherlands http://www.ramics-conference.org/ GENERAL INFORMATION: Recurrent topics of RAMiCS conferences, held since 1994, include semiring- and lattice-based structures such as relation algebras and Kleene algebras, their connections with program logics and other logics, their use in theories of computing, their formalisation with theorem provers, and their application to modelling and reasoning about computing systems and processes. INVITED TALKS: Philippa Gardner (Imperial College London, UK) Scalable reasoning about concurrent programs Manuel Bodirsky (Technische Universität Dresden, Germany) Finite relation algebras with normal representations Roland Backhouse (University of Nottingham, UK) The importance of factorisation in algorithm design ACCEPTED PAPERS: Sarah Alexander, Peter Jipsen and Nadiya Upegui On the structure of generalized effect algebras and separation algebras Callum Bannister and Peter Höfner False failure: creating failure models for separation logic Stefano Bonzio, Michele Pra Baldi and Diego Valota Counting finite linearly ordered involutive bisemilattices Maximiliano Cristiá and Gianfranco Rossi A set solver for finite set relation algebra Jessica Ertel, Roland Glück and Bernhard Möller Algebraic derivation of Until rules and application to timer verification Simon Foster, Kangfeng Ye, Ana Cavalcanti and Jim Woodcock Calculational verification of reactive programs with reactive relations and Kleene algebra Malvin Gattinger and Jana Wagemaker Towards an analysis of dynamic gossip in NetKAT Roland Glück Distances, norms and error propagation in idempotent semirings Maria João Gouveia and Luigi Santocanale MIX star-autonomous quantales and the continuous weak Bruhat order Robin Hirsch Decidability of equational theories for sub-signatures of relation algebra Mark Hopkins and Hans Leiß Coequalizers and tensor products for continuous idempotent semirings Jonathan Huerta y Munive and Georg Struth Verifying hybrid systems with modal Kleene algebra Wolfram Kahl Calculational relation-algebraic proofs in the teaching tool CalcCheck Lefteris Kirousis, Phokion Kolaitis and John Livieratos On the computational complexity of non-dictatorial aggregation Dexter Kozen and Matvey Soloviev Coalgebraic tools for randomness-conserving protocols Nikolai Krivulin Algebraic solution of weighted minimax single-facility constrained location problems Pranab Kumar Ghosh and Michael Winter A modal and relevance logic for qualitative spatial reasoning Hans Leiß and Mark Hopkins C-dioids and µ-continuous Chomsky-algebras Koki Nishizawa and Norihiro Tsumagari Composition of different-type relations via the Kleisli category for the continuation monad Giulia Sindoni, Katsuhiko Sano and John G. Stell Axiomatizing discrete spatial relations Michael Winter T-norm based operations in arrow categories PROGRAMME: http://www.ramics-conference.org/?page_id=270 REGISTRATION (early fee before 15 September 2018): http://www.ramics-conference.org/?page_id=202 COMMITTEES: Organising Committee -------------------- Conference Chair: Stef Joosten, Open Universiteit, The Netherlands PC Co-Chair: Jules Desharnais, Université Laval, Canada PC Co-Chair: Walter Guttmann, University of Canterbury, New Zealand Publicity Chair: Sebastiaan Joosten, Universiteit Twente, The Netherlands Programme Committee ------------------- Luca Aceto, Reykjavík University, Iceland/Gran Sasso Science Institute, Italy Rudolf Berghammer, Christian-Albrechts-Universität zu Kiel, Germany Jules Desharnais, Université Laval, Canada Uli Fahrenberg, École Polytechnique, France Hitoshi Furusawa, Kagoshima University, Japan Walter Guttmann, University of Canterbury, New Zealand Robin Hirsch, University College London, UK Peter Höfner, Data61, CSIRO, Australia Marcel Jackson, La Trobe University, Australia Jean-Baptiste Jeannin, University of Michigan, USA Peter Jipsen, Chapman University, USA Stef Joosten, Open Universiteit, The Netherlands Wolfram Kahl, McMaster University, Canada Barbara König, Universität Duisburg-Essen, Germany Dexter Kozen, Cornell University, USA Agi Kurucz, King's College London, UK Tadeusz Litak, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany Roger Maddux, Iowa State University, USA Annabelle McIver, Macquarie University, Australia Szabolcs Mikulás, Birkbeck, University of London, UK Ali Mili, New Jersey Institute of Technology, USA Bernhard Möller, Universität Augsburg, Germany José N. Oliveira, Universidade do Minho, Portugal Alessandra Palmigiano, Technische Universiteit Delft, The Netherlands Damien Pous, CNRS, France Mehrnoosh Sadrzadeh, Queen Mary University of London, UK John Stell, University of Leeds, UK Georg Struth, University of Sheffield, UK Michael Winter, Brock University, Canada -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs --Boundary_(ID_7KjYowaSVlwskIyPu8zBVg)--