? ? ? ? CALL FOR PARTICIPATION 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015) 28 September to 1 October 2015, Braga, Portugal URL: http://ramics2015.di.uminho.pt 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. ============================================================ Registration, venue, travel information and accommodation --------------------------------------------------------- Please visit http://ramics2015.di.uminho.pt Registration deadline --------------------- 4 September 2015 ============================================================ Invited Talks ------------- Towards a Probabilistic Interpretation of Game Logic Ernst-Erich Doberkat Connections Between Relation Algebras and Cylindric Algebras Ian Hodkinson A quest for Kleene algebra in 2 dimensions Gheorghe Stefanescu ============================================================ List of Accepted Papers ----------------------- L-Fuzzy Databases in Arrow Categories Evans Adjei, Wazed Chowdhury, Michael Winter Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets Musa Al-Hassy, Wolfram Kahl Closure, Properties and Closure Properties of Multirelations Rudolf Berghammer, Walter Guttmann Tool-Based Verification of a Relational Vertex Coloring Program Rudolf Berghammer, Peter H?fner, Insa Stucke Investigating and Computing Bipartitions with Algebraic Means Rudolf Berghammer, Insa Stucke, Michael Winter Completeness via canonicity for distributive substructural logics: a coalgebraic perspective Fredrik Dahlqvist, David Pym Relational Mathematics for Relative Correctness Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Jaoua, Marcelo Frias, Ali Mili Roughness by Residuals: Algebraic desription of rough sets and an algorithm for finding core relations Martin Eric M?ller Relational Formalisations of Compositions and Liftings of Multirelations Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari Towards Interactive Verification of PLC Programs using MKA and KIV Roland Gl?ck, Florian Benedikt Krebs Text categorization using hyper rectangular keyword extraction: Application to news articles classification Abdelaali Hassaine, Souad Mecheter, Ali Jaoua Type Checking by Domain Analysis in Ampersand Stef Joosten, Sebastiaan Joosten Relations among Matrices over a Semiring Dylan Killingbeck, Milene Santos Teixeira, Michael Winter Completeness and Incompleteness in Nominal Kleene Algebra Dexter Kozen, Konstantinos Mamouras, Alexandra Silva Solving a tropical optimization problem via matrix sparsification Nikolai Krivulin Antichain Algebra Bernhard M?ller Metaphorisms in Programming Jose Oliveira Decomposition of Database Preferences on the Power Set of the Domain Patrick Roocks Encoding and Decoding in Refinement Algebra Kim Solin Generalized N-ary relations Bartosz Zielinski ============================================================ List of Student Track Papers ---------------------------- Loop Analysis and Repair Nafi Diallo A Generic Matrix Manipulator Dylan Killingbeck RLE-based Algorithm for Testing Biorders Oliver Lanzerath Relational Equality in the Intensional Theory of Types Victor Miraldo Decision Methods for Concurrent Kleene Algebra with Tests: Based on Derivative Yoshiki Nakamura On a monadic encoding of continuous behaviour Renato Neves Relational Approximation of Maximum Independent Sets Insa Stucke Monoid Modules and Structured Documents Algebra Andreas Zelend ============================================================ Programme Committee ------------------- Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Marcelo Frias (Buenos Aires, Argentina) Steven Givant (Mills College, USA) Hitoshi Furusawa (Kagoshima, Japan) Timothy G. Griffin (Cambridge, UK) Walter Guttmann (Canterbury, New Zealand) Robin Hirsch (London, UK) Peter H?fner (NICTA, Australia) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA) Wolfram Kahl (McMaster U., Canada) Rodger Maddux (Iowa State U., USA) Ali Mili (NJIT, U. Heights, USA) Bernhard M?ller (U. Augsburg, Germany) Martin E. M?ller (U. Augsburg, Germany) Jos? N. Oliveira (U. Minho, Portugal; General chair) Ewa Orlowska (Warsaw, Poland) Agnieszka Rusinowska (Univ. Paris 1, France) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Isar Stubbe (U. Littoral-C?te-d'Opale, France) Michael Winter (Brock U., Canada; PC chair) Steering Committee ------------------ Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA) Bernhard M?ller (U. Augsburg, Germany) Jos? N. Oliveira (U. Minho, Portugal) Ewa Orlowska (Warsaw, Poland) Gunther Schmidt (Munich, Germany) Michael Winter (Brock U., Canada) Organising Committee -------------------- Jos? N. Oliveira (U. Minho, Portugal; General chair) Michael Winter (Brock U., Canada; PC chair) Lu?s S. Barbosa (U. Minho, Portugal) Manuel A. Cunha (U. Minho, Portugal) Ant?nio N. Ribeiro (U. Minho, Portugal) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]