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 “JUST GOOD ENOUGH” HARDWARE JOSÉ 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üller) 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öfner, Stucke) Parameterised Bisimulations: Some Applications (Arun-Kumar, Bagga) 11:00-12:00 Fuzzifying Modal Algebra (Desharnais, Möller) 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öfner (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öller (Augsburg, Germany) Martin E. Müller (St. Augustin, Germany; General chair) José Oliveira (U. Minho, Portugal) Ewa Orłowska (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öller (Augsburg, Germany) Ewa Orłowska (Warsaw, Poland) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Michael Winter (Brock U., Canada) Organising Committee: Martin E. Müller, Sankt Augustin, Germany: Conference Chair, Local Organiser Peter Höfner, 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 professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]