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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 25A8B7F84F; Mon, 24 Feb 2014 07:32:44 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of peter.hoefner@nicta.com.au) identity=pra; client-ip=221.199.218.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Peter.Hoefner@nicta.com.au"; x-sender="peter.hoefner@nicta.com.au"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Peter.Hoefner@nicta.com.au designates 221.199.218.17 as permitted sender) identity=mailfrom; client-ip=221.199.218.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Peter.Hoefner@nicta.com.au"; x-sender="Peter.Hoefner@nicta.com.au"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@crl-mxout1.it.nicta.com.au) identity=helo; client-ip=221.199.218.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Peter.Hoefner@nicta.com.au"; x-sender="postmaster@crl-mxout1.it.nicta.com.au"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYBAH/mClPdx9oRnGdsb2JhbABZg0GDWr5yFg4BAQEBAQgLCQkUKIJJBkMCCjwCJgJJFogXDpYwjxWgbBeBKYxZCgQDAYMGDzE1gRQEmDSBMpQ2gVQJFw X-IPAS-Result: AtYBAH/mClPdx9oRnGdsb2JhbABZg0GDWr5yFg4BAQEBAQgLCQkUKIJJBkMCCjwCJgJJFogXDpYwjxWgbBeBKYxZCgQDAYMGDzE1gRQEmDSBMpQ2gVQJFw X-IronPort-AV: E=Sophos;i="4.97,532,1389740400"; d="scan'208";a="59910680" Received: from crl-mxout1.it.nicta.com.au ([221.199.218.17]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 24 Feb 2014 07:32:41 +0100 Received: from atp-exchmbx1.it.nicta.com.au ([221.199.216.119] helo=atp-exchmbx1.in.nicta.com.au) by crl-mxout1.it.nicta.com.au with esmtp (Exim 4.80) (envelope-from ) id 1WHp3k-0005Kd-JO; Mon, 24 Feb 2014 17:30:41 +1100 Received: from ATP-EXCHCAS1.in.nicta.com.au (221.199.216.118) by atp-exchmbx1.in.nicta.com.au (221.199.216.119) with Microsoft SMTP Server (TLS) id 14.3.158.1; Mon, 24 Feb 2014 17:30:35 +1100 Received: from callisto.dynhost.nicta.com.au (221.199.216.112) by atp-exchcas1.in.nicta.com.au (221.199.216.118) with Microsoft SMTP Server (TLS) id 14.3.158.1; Mon, 24 Feb 2014 17:30:34 +1100 From: =?utf-8?Q?Peter_H=C3=B6fner?= Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Date: Mon, 24 Feb 2014 17:30:14 +1100 To: =?utf-8?Q?Peter_H=C3=B6fner?= Message-ID: <70639FCD-C6BF-45D8-BD24-F68CB63E7AE0@nicta.com.au> MIME-Version: 1.0 (Mac OS X Mail 7.1 \(1827\)) X-Mailer: Apple Mail (2.1827) X-TM-AS-Product-Ver: SMEX-11.0.0.1191-7.500.1017-20528.003 X-TM-AS-Result: No--24.094500-0.000000-31 X-TM-AS-User-Approved-Sender: Yes X-TM-AS-User-Blocked-Sender: No X-Validation-by: peter.hoefner@nicta.com.au Subject: [Caml-list] Call for Participation RAMiCS 2014 1st CALL FOR PARTICIPATION 14th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2014 Marienstatt im Westerwald, Germany April 28 - Mai 1 http://mathcs.chapman.edu/ramics2014/index.html The RAMiCS Conference is the main forum for Relational and Algebraic Methods in Computer Science. Special focus lies on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Programme Highlights -------------------- The conference features 3 invited talks, and 25 reviewed papers. * Invited Talks: Tony Hoare, University of Oxford, UK Developments in Concurrent Kleene Algebra Alexander Kurz, University of Leicester, UK Relation Lifting Jos=C3=A9 Nuno Oliveira, Universidade do Minho, Portugal Preparing Relation Algebra for =E2=80=9CJust Good Enough=E2=80=9D Ha= rdware Registration closes 14 March 2014. ------------ Organisation ------------- Programme Committee Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Harrie de Swart (Rotterdam, Netherlands) Marc Frappier (Sherbrooke, Canada) Hitoshi Furusawa (Kagoshima, Japan) Timothy G. Griffin (Cambridge, UK) Walter Guttmann (Canterbury, New Zealand) Robin Hirsch (London, UK) Peter H=C3=B6fner (NICTA, Australia; Publicity chair) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA; PC co-chair) Wolfram Kahl (McMaster U., Canada; PC co-chair) Tadeusz Litak (Erlangen, Germany) Larissa Meinicke (U. Queensland, Australia) Szabolcs Mikulas (London, UK) Bernhard M=C3=B6ller (Augsburg, Germany) Martin E. M=C3=BCller (St. Augustin, Germany; General chair) Jos=C3=A9 Oliveira (U. Minho, Portugal) Ewa Or=C5=82owska (Warsaw, Poland) Matthew Parkinson (Microsoft Research, UK) Damien Pous (CNRS, France) Ingrid Rewitzky (Stellenbosch, South Africa) Holger Schlingloff (Berlin, Germany) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Georg Struth (Sheffield, UK) George Theodorakopoulos (Cardiff, UK) Michael Winter (Brock U., Canada) Steering Committee Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Harrie de Swart (Rotterdam, Netherlands) Ali Jaoua (Doha, Qatar) Bernhard M=C3=B6ller (Augsburg, Germany) Ewa Or=C5=82owska (Warsaw, Poland) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Michael Winter (Brock U., Canada) Organising Committee Martin E. M=C3=BCller, Sankt Augustin, Germany: Conference Chair, Local= Organiser Peter H=C3=B6fner, NICTA, Australia: Publicity Peter Jipsen, Chapman U., USA: PC Co-Chair Wolfram Kahl, McMaster U., Canada: PC Co-Chair ________________________________ The information in this e-mail may be confidential and subject to legal pro= fessional privilege and/or copyright. National ICT Australia Limited accept= s no liability for any damage caused by this email or its attachments.