19th International Conference on
Relational and Algebraic Methods in Computer Science

RAMICS 2021 will take place at CIRM close to Marseille from 2 to 5 November 2021.

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.

Invited Speakers

Accepted papers

List of accepted papers.


Please register using the CIRM's pre-registration page.


RAMICS 2021 will take place at CIRM, the Centre International de Rencontres Mathématiques, at Luminy campus close to Marseille and on the border of the Calanques National Park. There will be no inscriptions fees to the conference, you will only need to care of lodging and catering expenses at CIRM. A limited number of grants, covering both lodging and catering, are being sponsored by CIRM and the Archimède Institute.

Program (tentative)

Monday November 1, 2021
Tuesday November 2, 2021
9:00Christophe Lucas and Matteo MioFree Modal Riesz Spaces are Archimedean: a Syntactic Proof
9:30Wesley Fussner and William Zuluaga BoteroSome modal and temporal translations of generalized basic logic
10:00Willem Conradie, Valentin Goranko and Peter JipsenAlgorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL
10:30Coffee break
11:00Frank Valencia, Sergio Ramírez, Santiago Quintero and Carlos PinzónComputing Aggregated Knowledge as the Greatest Lower Bound of Knowledge
11:30Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth and Krzysztof Ziemiańskilr-Multisemigroups, Modal Quantales and the Origin of Locality
12:00Jérémie MarquèsPolyadic spaces and profinite monoids
14:00Dmitriy ZhukQuantified Constraint Satisfaction Problem: towards the classification of complexity (invited talk)
15:00Natanael Alpay, Peter Jipsen and Melissa SugimotoUnary-determined distributive l-magmas and bunched implication algebras
15:30Coffee break
16:00Wolfgang PoigerMany-valued modal logic over a semi-primal algebra (short talk)
16:20Stefano Aguzzoli and Matteo BianchiAmalgamation property for varieties of BL-algebras generated by one chain with finitely many components
16:50Claudia MuresanSubreducts and Subvarieties of PBZ*–lattices (short talk)
17:10Khyodeno Mozhui and K. V. KrishnaOn the Representation Number of Bipartite Graphs (short talk)
Wednesday November 3, 2021
9:00Callum Bannister, Peter Höfner and Georg StruthEffect Algebras, Girard Quantales and Complementation in Separation Logic
9:30Luigi SantocanaleSkew metrics valued in Sugihara semigroups
10:00George Metcalfe, Sam van Gool, Adrien Guatto and Simon SantschiTime Warps, from Algebra to Algorithms
10:30Coffee break
11:00Roland GlückIsolated Sublattices and their Application to Counting Closure Operators
11:30Chad NesterA Variety Theorem for Relational Universal Algebra
12:00Cameron Calk, Philippe Malbos and Eric GoubaultAbstract Strategies and Coherence
13:30Business meeting
14:30Marcelo FriasRelational Tight Field Bounds for Distributed Analysis of Programs (invited talk)
15:30Coffee break
16:00Michael WinterChange of Base using Arrow Categories
16:30George Addison, Sajal Saha, and Michael WinterL-fuzzy Concept Analysis using Arrow Categories (short talk)
16:50Alexandre Fernandez, Luidnel Maignan and Antoine SpicherAccretive Computation of Global Transformations
17:20Ralph SarkisQuotienting a Monad via Projective Algebras (short talk)
17:40Cédric de LacroixGeneralizing Girard quantale in a symmetric closed monoidal category (short talk)
Thursday November 4, 2021
9:00Bernhard Möller, Peter O'Hearn and Tony HoareOn Algebra of Program Correctness and Incorrectness
9:30Walter GuttmannSecond-Order Properties of Undirected Graphs
10:00Walter Guttmann and Nicolas Robinson-O'BrienRelation-algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm
10:30Coffee break
11:00Rudolf Berghammer and Mitja KulczynskiExperimental Investigation of Sufficient Criteria for Relations to Have Kernels
11:30Rudolf BerghammerRelational Computation of Sets of Relations
12:00Kangfeng Ye, Simon Foster and Jim WoodcockAutomated Reasoning for Probabilistic Sequential Programs with Theorem Proving
14:00Free afternoon
Friday November 5, 2021
9:00Agi Kurucz, Vladislav Ryzhikov, Yury Savateev and Michael ZakharyaschevDeciding FO-definability of Regular Languages
9:30Damien Pous, Jurriaan Rot and Jana WagemakerOn Tools for Completeness of Kleene Algebra with Hypotheses
10:00Jas SemrlDomain Range Semigroups and Finite Representations
10:30Coffee break
11:00Amina DoumaneThe class of representable semilattice-ordered monoids is not a variety
11:30Stepan KuznetsovRelational Models for the Lambek calculus with Intersection and Unit
12:00Matthias NaafComputing Least and Greatest Fixed Points in Absorptive Semirings
14:00Barbara KönigFixpoint Games (invited talk)
15:00Michael WinterRelational Sums and Splittings in Categories of L-fuzzy Relations
15:30Coffee break
16:00Michael WinterFuReM - A System for Visualization and Manipulation of L-Fuzzy Relations (short talk)
16:20Jas SemrlFinite Representation Property for Relation Algebra Reducts (short talk)
16:40Roland GlückOn the Computation of Isolated Sublattices (short talk)
17:00Manfred Droste, Sven Dziadek, and Werner KuichGreibach Normal Form and Simple Automata for Weighted ω-Context-Free Languages (short talk)
17:20Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof ZiemiańskiLanguages of Higher-Dimensional Automata (short talk)
Saturday November 6, 2021

Call for papers

Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2021.

Springer LNCS logo

All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style.

Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection.

One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html.

As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers.

Call for short contributions/posters

Additionally to the standard CfP, RAMiCS is also calling for short contributions and posters. We are hence calling for presentations of original, unfinished, already published, or otherwise interesting work within the topics of the RAMiCS conferences. The submission can be in the form of a poster, an abstract, a paper submitted to or published at another conference, etc. Short contributions will not be published in the conference proceedings.

Please send your short submission to ramics2021@easychair.org by 29 August 2021.

Important dates

All dates are AoE (anywhere on Earth):

Application for grants, covering lodging and catering:

RAMICS 2021 Sponsors

LIS logo CIRM logo

Archimède logo AMU logo