Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools. Front Matter ....Pages I-XVI Front Matter ....Pages 1-1 Finite Relation Algebras with Normal Representations (Manuel Bodirsky)....Pages 3-17 Front Matter ....Pages 19-19 C-Dioids and \(\mu \)-Continuous Chomsky-Algebras (Hans Leiß, Mark Hopkins)....Pages 21-36 Coequalizers and Tensor Products for Continuous Idempotent Semirings (Mark Hopkins, Hans Leiß)....Pages 37-52 Distances, Norms and Error Propagation in Idempotent Semirings (Roland Glück)....Pages 53-69 T-Norm Based Operations in Arrow Categories (Michael Winter)....Pages 70-86 Decidability of Equational Theories for Subsignatures of Relation Algebra (Robin Hirsch)....Pages 87-96 Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad (Koki Nishizawa, Norihiro Tsumagari)....Pages 97-112 Axiomatizing Discrete Spatial Relations (Giulia Sindoni, Katsuhiko Sano, John G. Stell)....Pages 113-130 A Modal and Relevance Logic for Qualitative Spatial Reasoning (Pranab Kumar Ghosh, Michael Winter)....Pages 131-147 On the Structure of Generalized Effect Algebras and Separation Algebras (Sarah Alexander, Peter Jipsen, Nadiya Upegui)....Pages 148-165 Counting Finite Linearly Ordered Involutive Bisemilattices (Stefano Bonzio, Michele Pra Baldi, Diego Valota)....Pages 166-183 MIX \(\star \)-Autonomous Quantales and the Continuous Weak Order (Maria João Gouveia, Luigi Santocanale)....Pages 184-201 Front Matter ....Pages 203-203 Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra (Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock)....Pages 205-224 Verifying Hybrid Systems with Modal Kleene Algebra (Jonathan Julián Huerta y Munive, Georg Struth)....Pages 225-243 Algebraic Derivation of Until Rules and Application to Timer Verification (Jessica Ertel, Roland Glück, Bernhard Möller)....Pages 244-262 False Failure: Creating Failure Models for Separation Logic (Callum Bannister, Peter Höfner)....Pages 263-279 Towards an Analysis of Dynamic Gossip in Netkat (Malvin Gattinger, Jana Wagemaker)....Pages 280-297 Coalgebraic Tools for Randomness-Conserving Protocols (Dexter Kozen, Matvey Soloviev)....Pages 298-313 Front Matter ....Pages 315-315 Algebraic Solution of Weighted Minimax Single-Facility Constrained Location Problems (Nikolai Krivulin)....Pages 317-332 A Set Solver for Finite Set Relation Algebra (Maximiliano Cristiá, Gianfranco Rossi)....Pages 333-349 On the Computational Complexity of Non-dictatorial Aggregation (Lefteris Kirousis, Phokion G. Kolaitis, John Livieratos)....Pages 350-365 Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck (Wolfram Kahl)....Pages 366-384 Back Matter ....Pages 385-385