From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 41FBF82355; Wed, 15 Nov 2017 10:01:03 +0100 (CET) Authentication-Results: mail3-smtp-sop.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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of walter.guttmann@canterbury.ac.nz) identity=pra; client-ip=132.181.2.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="walter.guttmann@canterbury.ac.nz"; x-sender="walter.guttmann@canterbury.ac.nz"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of walter.guttmann@canterbury.ac.nz designates 132.181.2.28 as permitted sender) identity=mailfrom; client-ip=132.181.2.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="walter.guttmann@canterbury.ac.nz"; x-sender="walter.guttmann@canterbury.ac.nz"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cantvb.canterbury.ac.nz) identity=helo; client-ip=132.181.2.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="walter.guttmann@canterbury.ac.nz"; x-sender="postmaster@cantvb.canterbury.ac.nz"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AX2pdPxCogdIo9yJbcQ5iUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP76r8bcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kubtmZLX02mfUos?= =?us-ascii?q?e6WmUrLV2vu+0/y/4dX8fhlUgTO7Z/smMxyysQjL8MYLnZdnI6A34hDApGdFYe?= =?us-ascii?q?5L33IuLFnVmQSqtemq+5s2zC1Up/87v+FdTbn/dqI+BehHBTA6Pnpz69D3qRzK?= =?us-ascii?q?Sw2n7XIaTmgMmAdSEk7M51f8TMGi4WPBquNh1XzCboXNRrcuVGH7sqo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DEAQB5AQxahxwCtYRdDg8CBQyEG24UE?= =?us-ascii?q?44edI4ugVeXAIIRAQkjgV6IQT8YAQEBAQEBAQEBARIBAQEIDQkIKC9XAYFgBQM?= =?us-ascii?q?EHoJBHyANCBQCClZvijYBEJo/kjmDc4QGG4MCDCaDNIIHgVWBaTSBQoJ9gU8MI?= =?us-ascii?q?IEtBIYbBYo0mAOCNaYVlh0QgTkfghUXVYNnCYJjJYEPVWEBhQWBFzMCDIIDAQE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0DEAQB5AQxahxwCtYRdDg8CBQyEG24UE44edI4ugVeXAII?= =?us-ascii?q?RAQkjgV6IQT8YAQEBAQEBAQEBARIBAQEIDQkIKC9XAYFgBQMEHoJBHyANCBQCC?= =?us-ascii?q?lZvijYBEJo/kjmDc4QGG4MCDCaDNIIHgVWBaTSBQoJ9gU8MIIEtBIYbBYo0mAO?= =?us-ascii?q?CNaYVlh0QgTkfghUXVYNnCYJjJYEPVWEBhQWBFzMCDIIDAQEB?= X-IronPort-AV: E=Sophos;i="5.44,398,1505772000"; d="scan'208";a="244680128" Received: from cantvb.canterbury.ac.nz ([132.181.2.28]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Nov 2017 10:01:00 +0100 Received: from hp635.local (118-92-254-23.dsl.dyn.ihug.co.nz [118.92.254.23]) by it.canterbury.ac.nz (PMDF V6.6-x1 #1497) with ESMTPSA id <01QLIXDHN1O48YI827@it.canterbury.ac.nz>; Wed, 15 Nov 2017 22:00:18 +1300 (NEW ZEALAND DAYLIGHT TIME) Date: Wed, 15 Nov 2017 22:00:12 +1300 (NZDT) From: Walter Guttmann To: Walter Guttmann Message-id: MIME-version: 1.0 Content-type: multipart/mixed; boundary="Boundary_(ID_5JpIZY0bX12qQcKVw3Y3fA)" 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 Papers - Relational and Algebraic Methods in Computer Science 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_5JpIZY0bX12qQcKVw3Y3fA) Content-type: text/plain; format=flowed; charset=ISO-8859-15 Content-transfer-encoding: 8BIT CALL FOR PAPERS 17th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2018 29 October to 2 November 2018, Groningen, The Netherlands URL: http://www.ramics-conference.org/ PDF: http://www.ramics-conference.org/ramics-2018-cfp.pdf GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications IMPORTANT DATES: Abstract Submission: 6 April 2018 Paper Submission: 13 April 2018 Author Notification: 29 June 2018 Final Version: 27 July 2018 RAMiCS 2018: 29 October - 2 November 2018 SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics17 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conference Chair: Stef Joosten, Open University of the Netherlands PC Co-Chair: Jules Desharnais, Université Laval, Québec, 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 Rudolf Berghammer, CAU 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, 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, FAU Erlangen-Nürnberg, Germany Roger Maddux, Iowa State University, USA Annabelle McIver, Macquarie University, Australia Szabolcs Mikulás, Birkbeck College, 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, TU 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 Jaap van der Woude, TU Eindhoven, The Netherlands --Boundary_(ID_5JpIZY0bX12qQcKVw3Y3fA)--