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 4FC637F890; Sat, 29 Mar 2014 16:33:43 +0100 (CET) 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=221.199.218.17; 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 221.199.218.17 as permitted sender) identity=mailfrom; client-ip=221.199.218.17; 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@crl-mxout1.it.nicta.com.au) identity=helo; client-ip=221.199.218.17; receiver=mail3-smtp-sop.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: ArQBAPzmNlPdx9oRnGdsb2JhbABYg0GDYbhMiEgWDgEBAQEBCAsJCRQogkkGQwIKPAImAkkWLoddDp9KjxyiTBeBKYx0CgQDAYMFDzI1gRQElGKDbIEzhRqPGYFoCRc X-IPAS-Result: ArQBAPzmNlPdx9oRnGdsb2JhbABYg0GDYbhMiEgWDgEBAQEBCAsJCRQogkkGQwIKPAImAkkWLoddDp9KjxyiTBeBKYx0CgQDAYMFDzI1gRQElGKDbIEzhRqPGYFoCRc X-IronPort-AV: E=Sophos;i="4.97,756,1389740400"; d="scan'208";a="54615913" Received: from crl-mxout1.it.nicta.com.au ([221.199.218.17]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 29 Mar 2014 16:33:40 +0100 Received: from atp-exchmbx2.it.nicta.com.au ([221.199.216.124] helo=atp-exchmbx1.in.nicta.com.au) by crl-mxout1.it.nicta.com.au with esmtp (Exim 4.80) (envelope-from ) id 1WTvEF-00078Q-Gg; Sun, 30 Mar 2014 02:31:27 +1100 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.3.158.1; Sun, 30 Mar 2014 02:31:25 +1100 Received: from [192.168.102.94] (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; Sun, 30 Mar 2014 02:31:23 +1100 From: =?utf-8?Q?Peter_H=C3=B6fner?= Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Date: Sat, 29 Mar 2014 16:27:04 +0100 To: =?utf-8?Q?Peter_H=C3=B6fner?= Message-ID: MIME-Version: 1.0 (Mac OS X Mail 7.2 \(1874\)) X-Mailer: Apple Mail (2.1874) X-TM-AS-Product-Ver: SMEX-11.0.0.1191-7.500.1017-20598.000 X-TM-AS-Result: No--18.399300-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] RAMiCS 2014 Marienstatt Westerwald 28 April - Mai 1: 2nd CfPart 2nd 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. Invited Speakers: Tony HOARE, Jose OLIVEIRA, Alexander KURZ ------------------------------------------------------------- Registration deadline: 31 March 2014. ------------------------------------- Programme: ---------- Monday 9:15-10:30 Algebras for Program Correctness in Isabelle/HOL (Armstrong, Gomes, Struth) Abstract Dynamic Frames (Dang) 11:00-12:00 INVITED TALK: DEVELOPMENTS IN CONCURRENT KLEENE ALGEBRA TONY HOARE 14:00-15:00 Endowing Concurrent Kleene Algebra with Communication Actions (Jaskolka, Khedri, Zhang) Concurrent Kleene Algebra with Tests (Jipsen) 15:30-17:00 Kleene Algebra with Converse (Brunet, Pous) Extended Conscriptions Algebraically (Guttmann) Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages (Struth, Laurence) Tuesday 9:00-10:30 Higher-Order Arrow Categories (Winter) Nominal Sets over Algebraic Atoms (Ochremiak) A Mechanised Abstract Formalisation of Concept Lattices (Kahl) 11:00-12:00 INVITED TALK PREPARING RELATION ALGEBRA FOR =E2=80=9CJUST GOOD ENOUGH=E2= =80=9D HARDWARE JOS=C3=89 NUNO OLIVEIRA 14:00- Excursion and Conference Dinner Wednesday 9:00-10:30 Tableau Development for a Bi-Intuitionistic Tense Logic (Stell, Schmidt, Rydeheard) Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis (Krivulin) On Faults and Faulty Programs (Mili, Frias, Jaoua) 11:00-12:00 INVITED TALK: RELATION LIFTING ALEXANDER KURZ 14:00-15:00 A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories (Nishizawa, Furusawa) Finding Subrelations with Desired Properties (M=C3=BCller) 15:30-17:00 Relation Algebra and RelView Applied to Approval Voting (Berghammer, Danilenko, Schnoor) RAMiCS Open Discussion Thursday 9:00-10:30 Linking Functional Programming with Topology Concepts (Schmidt) Automated Verification of Relational While-Programs (Berghammer, H=C3=B6fner, Stucke) Parameterised Bisimulations: Some Applications (Arun-Kumar, Bagga) 11:00-12:00 Fuzzifying Modal Algebra (Desharnais, M=C3=B6ller) Relational Lattices (Litak, Mikulas, Hidders) 14:00-15:00 Refinements of the RCC25 Composition Table (Ghosh, Winter) Fixed-point Theory in the Varieties D_n (Frittella, Santocanale) 15:30-16:45 A Modified Completeness Theorem of KAT and the Decidability of Term Reducibility (Uramoto) Type-2 Fuzzy Controllers in Arrow Categories (Winter, Jackson, Fujiwara) 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.