Program Committee

Roland Backhouse, UK
Rudolf Berghammer, Germany
Manuel Bodirsky, Germany
Jules Desharnais, Canada
Amina Doumane, France
Uli Fahrenberg, France (co-chair)
Hitoshi Furusawa, Japan
Mai Gehrke, France
Walter Guttmann, New Zealand
Robin Hirsch, UK
Peter Höfner, Australia
Marcel Jackson, Australia
Jean-Baptiste Jeannin, US
Peter Jipsen, US (co-chair)
Stef
Joosten, The Netherlands
Wolfram Kahl, Canada
Dexter Kozen, US
Tadeusz Litak, Germany
Wendy MacCaull, Canada
Roger Maddux, US
Annabelle McIver, Australia
Szabolcs Mikulas, UK
Ali Mili, US
Jose Oliveira, Portugal
Alessandra Palmigiano, The Netherlands
Damien Pous, France
Mehrnoosh Sadrzadeh, UK
Luigi Santocanale, France
John Stell, UK
Georg Struth, UK
Michael Winter, Canada (co-chair)
Steering Committee

Rudolf Berghammer
Jules Desharnais
Ali Jaoua
Peter Jipsen
Bernhard Möller
José N. Oliveira
Ewa Stella Orłowska
Gunther Schmidt
Michael Winter
Relational and Algebraic Methods in Computer Science

RAMICS 2020

RAMICS 2020 took place as a virtual conference, using
Zoom, from **26 to 29 October** 2020.

The RAMiCS-18 proceedings are available at the Springer website and at SpringerLink.

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers.

Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control.

- Manfred
Droste, Universität Leipzig, Germany:
*Weighted automata and quantitative logics* - Daniela
Petrisan, Université Paris Diderot,
France:
*Combining probabilistic and non-deterministic choice via weak distributive laws*

RAMiCS-18 had 87 registered participants. List of participants.

All times in CET; click on time to convert to other time zones. You can also find the program in Google Calendar, or as an ICS file.

Speakers are in *italic*, click on titles to see
abstracts.