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 02A707EE51; Wed, 29 May 2013 00:52:08 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Peter.Hoefner@nicta.com.au) identity=pra; client-ip=203.143.174.70; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Peter.Hoefner@nicta.com.au"; x-sender="Peter.Hoefner@nicta.com.au"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of Peter.Hoefner@nicta.com.au designates 203.143.174.70 as permitted sender) identity=mailfrom; client-ip=203.143.174.70; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@atp-es2.it.nicta.com.au) identity=helo; client-ip=203.143.174.70; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Peter.Hoefner@nicta.com.au"; x-sender="postmaster@atp-es2.it.nicta.com.au"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag4BANM0pVHLj65GkWdsb2JhbABZgzmDO79zFg4BAQEBCQsLBxQFI4IlAx8GQwIKPAImAkkWL4dwDZsRjmmRcoEmjCoLCgQCg3oyYQOXO4EpkziBVgkX X-IPAS-Result: Ag4BANM0pVHLj65GkWdsb2JhbABZgzmDO79zFg4BAQEBCQsLBxQFI4IlAx8GQwIKPAImAkkWL4dwDZsRjmmRcoEmjCoLCgQCg3oyYQOXO4EpkziBVgkX X-IronPort-AV: E=Sophos;i="4.87,760,1363129200"; d="scan'208";a="15999498" Received: from atp-es2.it.nicta.com.au ([203.143.174.70]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 29 May 2013 00:52:06 +0200 Received: from atp-exchmbx2.it.nicta.com.au ([221.199.216.124] helo=atp-exchmbx1.in.nicta.com.au) by atp-es2.it.nicta.com.au with esmtp (Exim 4.72) (envelope-from ) id 1UhShh-0007W8-Rf; Wed, 29 May 2013 08:49:18 +1000 Received: from ATP-EXCHCAS1.in.nicta.com.au (221.199.216.118) by atp-exchmbx2.in.nicta.com.au (221.199.216.124) with Microsoft SMTP Server (TLS) id 14.2.318.4; Wed, 29 May 2013 08:49:22 +1000 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.2.318.4; Wed, 29 May 2013 08:49:22 +1000 From: =?iso-8859-1?Q?Peter_H=F6fner?= Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Date: Wed, 29 May 2013 08:49:20 +1000 To: =?iso-8859-1?Q?Peter_H=F6fner?= Message-ID: <6568D494-2BB1-4487-B6E6-C0ABE9EBE87C@nicta.com.au> MIME-Version: 1.0 (Apple Message framework v1283) X-Mailer: Apple Mail (2.1283) X-TM-AS-Product-Ver: SMEX-10.2.0.2087-7.000.1014-19900.001 X-TM-AS-Result: No--26.633000-0.000000-31 X-TM-AS-User-Approved-Sender: Yes X-TM-AS-User-Blocked-Sender: No X-SA-Exim-Connect-IP: 221.199.216.124 X-SA-Exim-Mail-From: Peter.Hoefner@nicta.com.au X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on atp-es2.it.nicta.com.au X-Spam-Level: X-SA-Exim-Version: 4.2.1 (built Mon, 22 Mar 2010 06:26:47 +0000) X-SA-Exim-Scanned: Yes (on atp-es2.it.nicta.com.au) X-Validation-by: peter.hoefner@nicta.com.au Subject: [Caml-list] CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014) CALL FOR PAPERS 14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014) 27 April to 1 May 2014, Marienstatt im Westerwald, Germany URL: http://mathcs.chapman.edu/ramics2014 PDF: http://mathcs.chapman.edu/ramics2014/RAMiCS14-CFP.pdf Scope ----- We invite submissions in the general area of Relational and Algebraic Metho= ds in Computer Science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Particular topics of interest for the conference cover, but are not limited to: * Algebraic approaches to =E2=80=A2 specification, development, verification, and analysis of progr= ams and algorithms =E2=80=A2 computational logic, in particular logics of programs, modal and dynamic logics, interval and temporal logics =E2=80=A2 semantics of programming languages * Applications in fields such as =E2=80=A2 relational formal methods such as B or Z, tabular methods =E2=80=A2 information systems =E2=80=A2 graph theory and combinatorial optimisation =E2=80=A2 games, automata and language theory =E2=80=A2 spatio-temporal reasoning, knowledge acquisition =E2=80=A2 preference and scaling methods, computational social choice, social software * Theoretical foundations and supporting tools, including =E2=80=A2 mechanised and automated reasoning, decision procedures =E2=80=A2 process algebras, fixed point calculi, idempotent semirings, quantales, allegories =E2=80=A2 dynamic algebras, cylindric algebras and their applications in = computing History ------- Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA. The predecessors of this conference were held in Dagstuhl (January 1994), Parati (September 1995), Hammamet (January 1997), Warsaw (September 1998), Qu=C3=A9bec (January 2000), Dagstuhl (February 2001), Oisterwijk (October 2= 001), Malente (April 2003), St. Catherines (January 2005), Manchester (September 2006), Frauenw=C3=B6rth (April 2008), Doha (November 2009), Rotterdam (June 2011), and Cambridge UK (September 2012). Student Program --------------- The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website. Proceedings and Submission -------------------------- All papers will be formally reviewed. We plan to publish the proceedings in the series Lecture Notes in Computer Science ready at the conference. Submissions must be in English, in Postscript or PDF format, and provide sufficient information to judge their merits. They must be unpublished and not submitted for publication elsewhere. They should not exceed 16 pages in Springer LNCS style (accepted papers must be produced with LaTeX). Additional material may be provided by a clearly marked appendix or a reference to a manuscript on a website. This may be considered at the discretion of the PC. Deviation from these requirements may cause immediate rejection. One author of each accepted paper is expected to present the paper at the conference. Submission is via EasyChair at the following address: https://www.easychair.org/conferences/?conf=3Dramics2014 Formatting instructions and the LNCS styled files can be obtained via: http://springer.de/comp/lncs/authors.html As for the earlier conferences of this series, it is also intended to publish a selection of the best papers in revised and extended form in a special issue of the Journal of Logic and Algebraic Programming (JLAP). Important Dates --------------- Title and abstract submission: October 25 2013 Submission of full papers: November 1 2013 Notification: December 13 2014 Final versions due (firm deadline): January 17 2014 Conference April 27 - May 1 2014 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.