From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 B47877FFC7 for ; Mon, 5 Sep 2016 13:41:03 +0200 (CEST) IronPort-PHdr: 9a23:58FWMxFFHff8i9EUdz+zBp1GYnF86YWxBRYc798ds5kLTJ74oc+wAkXT6L1XgUPTWs2DsrQf2rOQ7vCrAjZIoc7Y9itTKNoUD15NoP5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdazLE4Lfx/66y/q1s8WKJV4Z3XzgMfgpdl329VyX7ZhOx9M6a+4Y8VjgmjNwYeNYxGdldxq4vi3XwYOOxqNl6DlaoPk79sRNAu3QdqU8SqFEXnx9azhmrOWijxTITBOO630ASS1W10MQW0mWpC39C7j8tTH1/tFhwjSGPYWiQvYvRS6/86dDUx/lhikGOjo1tmjczNFz2uYTmB+9qgY544nZboeYLtJyd7/UI4pcTnFARMEXXjESOI6ka5ozCL8tNONZoo+7n1wTtjOzAxLpAPLozHlGnCzYx6o/hsgoFADL2kQYGM8V+CD4pdD0OaFUaeeo14HFyy6Ga+JR33Hz8t6bIVgavfiQUOcoIoLqwk41GlaA1w3IpA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Damien.Pous@ens-lyon.fr; spf=Pass smtp.mailfrom=Damien.Pous@ens-lyon.fr; spf=None smtp.helo=postmaster@labbe.ens-lyon.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Damien.Pous@ens-lyon.fr) identity=pra; client-ip=140.77.167.222; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Damien.Pous@ens-lyon.fr"; x-sender="Damien.Pous@ens-lyon.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of Damien.Pous@ens-lyon.fr designates 140.77.167.222 as permitted sender) identity=mailfrom; client-ip=140.77.167.222; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Damien.Pous@ens-lyon.fr"; x-sender="Damien.Pous@ens-lyon.fr"; 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@labbe.ens-lyon.fr) identity=helo; client-ip=140.77.167.222; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Damien.Pous@ens-lyon.fr"; x-sender="postmaster@labbe.ens-lyon.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ASAgCUWM1Xh96nTYxdDg8BBQEYAQUBgw4BAQEBAWcOfAeDQIlnl0qTO4ICJIJChHAHOBQBAQEBAQEBAQEBARIBAQEKCwkJGS+CMgQBFQEEgikLBjATAgotAwwCJgIkEgEFASIBNIgoDqM7gTI+MoM7iAKGLoVvAQEIAQEBAQEigQWFKoYHgSaBPQSDIoJaBYZjCYFCkSVdhUSJFYRwimcCjEyCOBMegQ8CHoMiBIEcPW4BhD9ugUABAQE X-IPAS-Result: A0ASAgCUWM1Xh96nTYxdDg8BBQEYAQUBgw4BAQEBAWcOfAeDQIlnl0qTO4ICJIJChHAHOBQBAQEBAQEBAQEBARIBAQEKCwkJGS+CMgQBFQEEgikLBjATAgotAwwCJgIkEgEFASIBNIgoDqM7gTI+MoM7iAKGLoVvAQEIAQEBAQEigQWFKoYHgSaBPQSDIoJaBYZjCYFCkSVdhUSJFYRwimcCjEyCOBMegQ8CHoMiBIEcPW4BhD9ugUABAQE X-IronPort-AV: E=Sophos;i="5.30,286,1470693600"; d="scan'208";a="192091539" Received: from labbe.ens-lyon.fr ([140.77.167.222]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Sep 2016 13:41:02 +0200 Received: from localhost (localhost [127.0.0.1]) by labbe.ens-lyon.fr (Postfix) with ESMTP id E24AE320A33 for ; Mon, 5 Sep 2016 13:41:02 +0200 (CEST) X-Virus-Scanned: by amavisd-new-2.10.1 (20141025) (Debian) at ens-lyon.fr Received: from labbe.ens-lyon.fr ([127.0.0.1]) by localhost (labbe.ens-lyon.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 5IJAwsyKUZ0Q for ; Mon, 5 Sep 2016 13:40:58 +0200 (CEST) Received: from mail-ua0-f176.google.com (mail-ua0-f176.google.com [209.85.217.176]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (not verified)) by labbe.ens-lyon.fr (Postfix) with ESMTPSA id 834803208E6 for ; Mon, 5 Sep 2016 13:40:57 +0200 (CEST) Received: by mail-ua0-f176.google.com with SMTP id 49so40457314uat.3 for ; Mon, 05 Sep 2016 04:40:57 -0700 (PDT) X-Gm-Message-State: AE9vXwPKHYchBHZyBxBAI3WfYlZPTqGd0yikUBLedQoVBAFbYD/mkthmrtyQ9TMeWT13bOLaGTafjcRtSGuQ3A== X-Received: by 10.176.4.129 with SMTP id 1mr22080019uaw.26.1473075656539; Mon, 05 Sep 2016 04:40:56 -0700 (PDT) MIME-Version: 1.0 Reply-To: Damien.Pous@ens-lyon.fr Received: by 10.103.18.68 with HTTP; Mon, 5 Sep 2016 04:40:55 -0700 (PDT) From: Damien Pous Date: Mon, 5 Sep 2016 13:40:55 +0200 X-Gmail-Original-Message-ID: Message-ID: To: Georg Struth , Peter.Hoefner@data61.csiro.au Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] [CFP] RAMiCS 2017 First Call for Papers ----------------------------------------------------- 16th International Conference on RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2017) May 15-19, 2017 Lyon, France http://ramics-conference.org ----------------------------------------------------- GENERAL INFORMATION: For more than two decades, the RAMiCS conferences 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 field of algebraic structures relevant to computer science and on applications of such algebras. Topics of the conference include, but are not limited to the following -theory * algebraic structures from semigroups, residuated lattices and semirings to Kleene algebras, relation algebras and quantales * other algebras relevant to the theory of automata, concurrency, formal languages, games, networks, programming languages and social choice * algorithmic, category-theoretic, coalgebraic or proof-theoretic methods for such algebras * their formalisation with automated and interactive theorem provers -applications * tools and techniques for the verification and correctness of sequential and concurrent programs * quantitative and qualitative models for computing systems * logics of programs, e.g., modal, dynamic, interval, temporal or resource logics, logics for games, social choice and distributed systems * design of algorithms, network protocol analysis, optimisation and contr= ol INVITED SPEAKERS: * Annabelle McIver (Macquarie University, Sydney * Jean-Eric Pin (CNRS, IRIF, Paris) * Alexandra Silva (University College, London) IMPORTANT DATES: Abstract Submission: 2016, Nov 25 Paper Submission: 2016, Dec 2 Author Notification: 2017, Feb 3 Camera-ready papers: 2017, Feb 24 RAMiCS 2017: 2017, May 15-19 SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=3Dramics16 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 be in English, in PDF format and should not exceed 16 pages in LNCS style. Submissions must be unpublished, not under review for publication elsewhere and 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 reviewers. Deviation from these requirements may lead to rejection. Accepted papers must be produced with LaTeX. One author of each accepted paper is expected to present the paper at the conference. Formatting instructions and LNCS style files can be obtained at: http://www.springer.de/comp/lncs/authors.html. COMMITTEES: Conference Chair: Damien Pous, CNRS, France Programme Chairs: Peter H=C3=B6fner, NICTA, Australia Georg Struth, U Sheffield, UK, Programme Committee: Luca Aceto, Reykjavik U, Iceland Rudolf Berghammer, U Kiel, Germany Filippo Bonchi, CNRS, France Jules Desharnais, U Laval, Canada Hitoshi Furusawa, Kagoshima U, Japan Tim Griffin, U Cambridge, UK Walter Guttmann, U Canterbury, New Zealand Robin Hirsch, UCL, UK Peter H=C3=B6fner, Data61, CSIRO, Australia Marcel Jackson, LaTrobe U, Australia Jean-Baptiste Jeannin, Samsung, USA Peter Jipsen , Chapman U, USA Christian Johansen, U Oslo, Norway Wolfram Kahl, McMaster U, Canada Dexter Kozen, Cornell U, USA Szabolcs Mikulas, Birkbeck U, UK Bernhard M=C3=B6ller, U Augsburg, Germany Jos=C3=A9 N. Oliveira, U Minho, Portugal Damien Pous, CNRS, France Georg Struth, U Sheffield, UK, Pascal Weil, CNRS, France Michael Winter, Brock U, Canada