Programme of RAMiCS 12: Monday, May 30, 09:00, till Friday, June 3, 14:00, 2011 Monday 09:00 - 10:00 Invited lecture: Chris Brink (University of Newcastle), RAMiCS and Research (Chair: Ewa Orlowska) 10:00 Ȃ 10:30 Wolfram Kahl, Dependently-Typed Formalisation of Relation-Algebraic Abstractions 10:30 Ȃ 11:00 break 11:00 Ȃ 12:30 Applications of Relational Methods (Chair: Gunther Schmidt) - Rudolf Berghammer, A Functional, Successor List Based Version of Warshall's Algorithm with Applications - Gerard Michels, Sebastiaan Joosten, Jaap van der Woude and Stef Joosten, Ampersand: Applying Relation Algebra in Practice - ó ǡUsing Bisimulations for Optimality Problems in Model Refinement 12:30 Ȃ 14:00 lunch 14:00 Ȃ 15:30 Invited tutorial: Felix Brandt (CFSC, Technische Universität Munich, Germany), From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set (Chair: Harrie de Swart) 15:30 Ȃ 16:00 break 16:00 Ȃ 17:30 Logic and Social Choice (Chair: Georg Struth) - Ivo ñ ǡAn Algebraic Approach to Preference Relations - Rudolf Berghammer and Stefan Bolus, Demonstration of RelView with applications to social choice 18:00 dinner Tuesday 09:00 - 10:30 Invited tutorial: Georg Struth (Computer Science, University of Sheffield, UK), Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL (Chair: Michael Winter) 10:30 Ȃ 11:00 break 11:00 Ȃ 12:30 Relational Methods (Chair: Peter Höfner) - Rudolf Berghammer, Using Relation Algebra and the BDD-based Tool RelView for Solving Chessboard Problems - Gunther Schmidt, Constructions around Partialities - Jaap van der Woude and Stef Joosten, Relational Heterogeneity Relaxed by Subtyping 12:30 Ȃ 14:00 lunch 14:00 Ȃ 15:00 Invited lecture: Donald Saari (University of California at Irvine, USA), Mysteries involving Paired Comparisons (Chair: Felix Brandt) 15:00 Ȃ 15:30 Bahar Aameri and Michael Winter, A First-Order Calculus for Allegories 15:30 Ȃ 16:00 break 16:00 Excursion (guided walking tour in the centre of Rotterdam) with dinner Wednesday 09:00 Ȃ 10:00 Invited lectureǣȋǯ Sorbonne, Paris), Social Networks: Prestige, Centrality, and Influence (Chair: Harrie de Swart) 10:00 Ȃ 10:30 Hitoshi Furusawa and Koki Nishizawa, Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings 10:30 Ȃ 11:00 break 11:00 Ȃ 12:30 Kleene Algebras (Chair: Ewa Orlowska) - Peter Höfner and Annabelle McIver , Towards an Algebra of Routing Tables and for AODV - Walter Guttman, Towards a Typed Omega Algebra - Annabelle McIver, Tahiry Rabehaja and Georg Struth, On Probabilistic Kleene Algebras, Automata and Simulations 12:30 Ȃ 14:00 lunch 14:00 Ȃ 15:30 Invited tutorial: Donald Saari (University of California at Irvine, USA), Explaining Voting Paradoxes; including Arrow's and Sen's Theorems (Chair: Agnieszka Rusinowska) 15:30 Ȃ 16:00 break 16:00 Ȃ 17:30 PhD programme (Chair: Bernhard Möller) - F. Ferjani, S. Elloumi, S. Ismail, S. Ali, A. Jaoua, and S. Ben Yahia, Rectangular Text labeling using Fringe Relations - Prathap Siddavaatam and Michael Winter, Refining Relational Algebras for Qualitative Spatial Reasoning - Han-Hing Dang, Towards Automation for Pointer Algebra 17:30 Ȃ 18:00 Plenary discussion about future RAMiCS meetings 18:30 dinner Thursday 09:00 Ȃ 10:00 Invited lecture: Renate Schmidt (School of Computer Science, University of Manchester, UK), Synthesising Terminating Tableaux for Relational Logics (Chair: Rudolf Berghammer) 10:00 Ȃ 10:30 Shin-Cheng Mu and Jose Nuno Oliveira, Programming from Galois Connections 10:30 Ȃ 11:00 break 11:00 Ȃ 12:30 PhD programme (Chair: Hitoshi Furasawa) - ó ǡBisimulations in Game Analysis - Patrick Roocks, Ideas for an Algebraic Treatment of the Russian Cards Problem - Andreas Zelend, Formal Product Families for Abstract Machines 12:30 Ȃ 14:00 lunch 14:00 Ȃ 15:30 Invited tutorial: Michael Winter (Computer Science, Brock University), Relation Algebraic Approaches to Fuzzy Relations (Chair: Stef Joosten) 15:30 Ȃ 16:00 break 16:00 excursion (Harbour boat tour with dinner in Euromast) Friday 09:00 Ȃ 10:00 Invited lecture: Bernhard Möller (Informatik, Universität Augsburg, Germany), Building Structured Theories (Chair: Renate Schmidt) 10:00 Ȃ 10:30 Alexander Gurney and Timothy Griffin, Pathfinding through Congruences 10:30 Ȃ 11:00 break 11:00 Ȃ 12:30 Algebraic Methods (Chair: Michel Grabisch) - Prathap Siddavaatam and Michael Winter, Splitting Atoms in Relational Algebras - Han-Hing Dang and Peter Höfner, Variable Side Conditions and Greatest Relations in Algebraic Separation Logic - Michael Laurence and Georg Struth, Omega Algebras and Regular Equations 12:30 Ȃ 14:00 lunch .