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 415E47FE50 for ; Mon, 20 Mar 2017 10:39:51 +0100 (CET) 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 IronPort-PHdr: =?us-ascii?q?9a23=3AImH9LRRNNCkOsYhRqvuOnVJ3Ndpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zbReN2/xhgRfzUJnB7Loc0qyN4v2mBzNLuc3JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBW7oR/Qu8QUjoduNqg8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cPPehWoYrgqVUQsRSwChKhBP/2yjJSmnP6wbE23uYnHArb3AIgBdUOsH?= =?us-ascii?q?HModv7LqgSVOG1w7fOzT7edf1W3ir96JPVeR0mr/+DR7dwccvPxkkpDQ/LlFKQ?= =?us-ascii?q?qZH+Pz6OyOsNtXOb4/NkVeOvjG4nrRt9oja1xso1jITCm4wbylfB9SpjwYY1I8?= =?us-ascii?q?W1SFRhbt6hEZtfqzqaO5JqTcMlRWFotjg1yqcYtp69YCcF1o4rxxnFa/yIa4SH?= =?us-ascii?q?+BPiVPuLITthmH1lf7a/hxK18Ui51+3zSNO40FhQridDj9LCtWgN2gTO5sWIVv?= =?us-ascii?q?dx5EWs1DSV2wzO6+xJI1o4mbTFJ5I/2rI8iIYfvEDZEiL1mEj6lrGaelgm9+Sy?= =?us-ascii?q?9ujqYKnqq5mBPIFukA7+KL4hmsmnDOQ4LAcOW2+b9Py41LL55kL2W6tFgucona?= =?us-ascii?q?nfq5DWPMAbp66+Aw9TyIoj5Qy/Ay+n0NQeg3YHMEpIdA+IgoT1IV3DIvL1Ae2i?= =?us-ascii?q?j1mtkjpn3e7KMqP/DpnVK3jMirbhfbJz605GzwozyMhS6ZxOBbEEIfL8REnxuM?= =?us-ascii?q?bCAB8+Lgy02P3qB8t71oMFQG6PBq+YMKTUsVOS6OIvOfGAZJUJtzblN/gl+/nu?= =?us-ascii?q?gGclllAHeKmp2YIbaHS5HvR9P0WUemHsg9cEEWcSpAUyVu3qiFuYUT5SfXm+Ra?= =?us-ascii?q?w85itoQL6hWKvKQ4GghvS52zqgVslab2VHB1bKCXD1bK2JXexJbDOVJIlviGpA?= =?us-ascii?q?HZesTJUunSqyrhLmy/IzIazP5jcFqZLLz9h46ePSmBU+szV/SdmehSXFd2xok3?= =?us-ascii?q?lOZzg70qZyu2Rxw0uKj/E+iOdZD9sV7u4aaAoiMY/gyLlWAtXzVwSHRtCUU36r?= =?us-ascii?q?RM7jBSA2SJQ/2YwgeUF4TvmrixHO2WKSBKIO3+inDZk1/6Sa53/sPO5wzW2D0L?= =?us-ascii?q?gmiR8oWJ0cZiWdmqdj+l2LVMbymEKDmvPvLPxE0Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BEAwBaos9Ybd6nTYxdDg4BAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYMmURCBCgeDW7M6Koh9B0MUAQEBAQEBAQEBAQESDQsJBiovgjM?= =?us-ascii?q?iAYJjBjATAgotDwImAiQSAQUBIgEaiAcDgW4OpQA/g26IFYImhGiFWgEBCAEBA?= =?us-ascii?q?QEkgQuFQ4Q/gWyCeIMmgl8Fh0uBUpMwa2iFJotKgXuDMoF2igiSEBQfRU4CNoE?= =?us-ascii?q?lIxYjKUAFgQCDSIE2PnSJcwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BEAwBaos9Ybd6nTYxdDg4BAQQBAQoBARcBAQQBAQoBAYM?= =?us-ascii?q?mURCBCgeDW7M6Koh9B0MUAQEBAQEBAQEBAQESDQsJBiovgjMiAYJjBjATAgotD?= =?us-ascii?q?wImAiQSAQUBIgEaiAcDgW4OpQA/g26IFYImhGiFWgEBCAEBAQEkgQuFQ4Q/gWy?= =?us-ascii?q?CeIMmgl8Fh0uBUpMwa2iFJotKgXuDMoF2igiSEBQfRU4CNoElIxYjKUAFgQCDS?= =?us-ascii?q?IE2PnSJcwEBAQ?= X-IronPort-AV: E=Sophos;i="5.36,193,1486422000"; d="scan'208";a="217334944" Received: from labbe.ens-lyon.fr ([140.77.167.222]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Mar 2017 10:39:50 +0100 Received: from localhost (localhost [127.0.0.1]) by labbe.ens-lyon.fr (Postfix) with ESMTP id 81EE4320CFF for ; Mon, 20 Mar 2017 10:39:47 +0100 (CET) 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 D-xyrn5UAFgV for ; Mon, 20 Mar 2017 10:39:47 +0100 (CET) Received: from mail-ua0-f170.google.com (mail-ua0-f170.google.com [209.85.217.170]) (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 8D6E1320D7E for ; Mon, 20 Mar 2017 10:39:45 +0100 (CET) Received: by mail-ua0-f170.google.com with SMTP id f54so72522107uaa.1 for ; Mon, 20 Mar 2017 02:39:48 -0700 (PDT) X-Gm-Message-State: AFeK/H3YWDHogRRy5TLiML0+tUjzFhpMqGlwiAqle2ltnXkmcyc9hYv94cLsVeCUCkrPTNR59EqXrH9xfpbCuA== X-Received: by 10.159.55.138 with SMTP id q10mr5199358uaq.11.1490002785719; Mon, 20 Mar 2017 02:39:45 -0700 (PDT) MIME-Version: 1.0 Reply-To: Damien.Pous@ens-lyon.fr Received: by 10.103.84.11 with HTTP; Mon, 20 Mar 2017 02:39:45 -0700 (PDT) From: Damien Pous Date: Mon, 20 Mar 2017 10:39:45 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Damien Pous , Georg Struth , Peter.Hoefner@data61.csiro.au Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Participation: RAMiCS, May 15-18, Lyon, France Call for Participation ----------------------------------------------------- 16th International Conference on RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2017) May 15-18, 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. INVITED SPEAKERS: * Annabelle McIver (Macquarie University, Sydney) * Jean-Eric Pin (CNRS, IRIF, Paris) * Alexandra Silva (University College London) PROGRAM: http://ramics-conference.org/program.html REGISTRATION: 204 EUR, by April 16th https://www.azur-colloque.fr/DR07/inscription/inscription/153 Students having difficulties to fund their trip should contact the organisers as soon as possible, we might be able to provide financial help for one or two of them. SPECIAL SESSION ON MECHANISED REASONING: We will organise a special session during Thursday afternoon, 18 of May, on mechanised reasoning for relational and algebraic methods. If you are willing to give a talk during this session, please send us a title and a short abstract by April 16th. Expected topics include - mathematical components for relation algebraic methods in proof assistants such as Agda, Coq or Isabelle, or tools such more specific tools such as RelView - support for automated reasoning with such methods - experiences in using any of these tools and components COMMITTEES: Conference Chair: Damien Pous, CNRS, France Programme Chairs: Peter H=C3=B6fner, Data61, CSIRO 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 Local Organisation: Catherine Desplanches