Contents

Home
Program
Proceedings
Invited speakers
Registration
Venue
Important dates
Sponsors
Participants
Contact
History
Accepted papers

List of accepted papers
Program Committee

Adriana Balan, Romania
Manuel Bodirsky, Germany
Miguel Couceiro, France
Manfred Droste, Germany
Uli Fahrenberg, France
Hitoshi Furusawa, Japan
Wesley Fussner, Switzerland
Silvio Ghilardi, Italy
Roland Glück, Germany (co-chair)
Walter Guttmann, New Zealand
Robin Hirsch, UK
Peter Höfner, Australia
Marcel Jackson, Australia
Ali Jaoua, Qatar
Peter Jipsen, USA
Sebastian Joosten, USA
Barbara König, Germany
Wendy MacCaull, Canada
Roger Maddux, USA
Nelma Moreira, Portugal
Martin Müller, Germany
Damien Pous, France
Luigi Santocanale, France (co-chair)
Ana Sokolova, Austria
Sara Ugolini, Spain
Michael Winter, Canada (co-chair)
Sam van Gool, France
Steering Committee

Uli Fahrenberg
Walter Guttmann
Peter Höfner
Ali Jaoua
Peter Jipsen
Damien Pous
Luigi Santocanale
Michael Winter
Relational and Algebraic Methods in Computer Science

RAMiCS 2023

RAMiCS 2023 will take place
in Augsburg from **3 to 6 April, 2023**.

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.

The proceedings are available from 30 March 2023 through 30 April 2023 via this link.

RAMiCS 2023 will take place at the Technologiezentrum Augsburg, as a
physical conference. There are no conference fees but, due to limited
resources, participation is subject to approval by the conference organisers. Please
apply for participation by February 28, 2023, by
sending an email to roland.glueck@dlr.de.
Please use this **email template**.

RAMiCS 2023 will be organized by the Institute of Stuctures and Design of the German Aerospace Center and will take place in the room "Innovation" at the Technologiezentrum Augsburg in Augsburg.

All times in CEST (UTC+2). Speakers are underlined; click on titles to see abstracts.

Monday April 03, 2023 | |||
---|---|---|---|

9:15 | Registration | ||

9:45 | Roland Glück |
Welcome and Information | Slides |

10:00 | Session 1. Systems. Chair Bernhard Möller | ||

10:00 | Alexander Knapp |
Specifying Event/Data-based Systems (invited talk)
| Slides |

11:00 | Roland Glück |
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients (contributed talk) | Slides |

11:30 | Nasos Evangelou-Oost, Callum Bannister and Ian Hayes |
Contextuality in distributed systems (contributed talk) | Slides |

12:00 | Lunch | ||

13:30 | Session 2. Representability. Chair Walter Guttmann | ||

13:30 | Wesley Fussner and Peter Jipsen |
Poset Product Representations Over Simple Residuated Lattices (short talk) | Slides |

13:50 | Rudolf Berghammer and Michael Winter |
A General Method for Representing Sets of Relations by Vectors (contributed talk) | Slides |

14:20 | Peter Jipsen and Jas Semrl |
Representable and diagonally representable weakening relation algebras (contributed talk) | Slides |

14:50 | Coffee break | ||

15:20 | Session 3. Categories. Chair Alexander Knapp | ||

15:20 | Luigi Santocanale and Cédric de Lacroix |
Prenuclear vs. Nuclear Objects in ⋆-Autonomous Categories (short talk) | Slides |

15:40 | Jesse Sigal and Chris Heunen |
Duoidally enriched Freyd categories (contributed talk) | Slides |

16:10 | Coffee break | ||

16:40 | Session 4. Counting and Enumeration. Chair Michael Winter | ||

16:40 | Ambroise Baril, Miguel Couceiro, and Victor Lagerkvist |
Recent Results on Component Twin-Width and Clique-Width with Algorithmic Applications to Counting Graph Colorings (short talk) | Slides |

17:00 | Arman Shamsgovara |
Enumerating, Cataloguing and Classifying all Quantales on up to Nine Elements (contributed talk) | Slides |

Tuesday April 04, 2023 | |||

09:00 | Session 5. Kleene Algebra. Chair Wesley Fussner | ||

09:00 | Tobias Kappé |
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (contributed talk) | Slides |

09:30 | Igor Sedlár |
On the Complexity of *-Continuous Kleene Algebra With Domain (contributed talk) | Slides |

10:00 | Coffee break | ||

10:40 | Session 6. Algebras and Varieties. Chair Roland Glück | ||

10:40 | Stefano Aguzzoli and Matteo Bianchi |
Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely-many components (contributed talk) | Slides |

11:10 | Hans Leiß |
An Algebraic Representation of the Fixed-Point Closure of *-Continuous Kleene Algebras (short talk) | Slides |

11:30 | Mark Hopkins and Hans Leiß |
Normal Forms for Elements of the *-Continuous Kleene Algebras K (x) C2' (contributed talk) | Slides |

12:00 | Lunch | ||

13:30 | Session 7. Chair Luigi Santocanale | ||

13:30 | Valeria Vignudelli |
Equational Theories and Distances for Computational Effects (invited talk)
| Slides |

14:30 | Coffee break | ||

15:00 | Session 8. Algebraic Structures. Chair Baltasar Trancón Y Widemann | ||

15:00 | Jeremy F. Alm, David Andrews and Michael Levet |
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture (contributed talk) | Slides |

15:30 | José Gil-Férez, Peter Jipsen and Siddhartha Lodhia |
The structure of locally integral involutive po-monoids and semirings (contributed talk) | Slides |

16:00 | Andrew Lewis-Smith and Jas Semrl |
Implication Algebras and Implication Semigroups of Binary Relations (contributed talk) | Slides |

16:30 | Break | ||

17:30 | Social event | Guided tour through Augsburg, meeting point at town hall Augsburg | |

19:00 | Dinner | Dinner at Wirtshaus am Dom (location) | |

Wednesday April 05, 2023 | |||

09:10 | Session 9. Models and Programs. Chair Tobias Kappé | ||

09:10 | Laura Kovács and Anton Varonka |
What Else is Undecidable about Loops? (contributed talk) | Slides |

09:40 | Yannick Chevalier |
Model Synthesis based on Experience (short talk) | Slides |

10:00 | Martin E. Bidlingmaier |
Datalog with Equality: Semantics and Evaluation (short talk) | Slides |

10:20 | Coffee break | ||

11:00 | Session 10. Chair Igor Sedlár | ||

11:00 | John Stell |
Algebra and Logic in Granularity (invited talk)
| Slides |

12:00 | Lunch | ||

13:50 | Business meeting | ||

15:50 | Coffee break | ||

16:30 | Interdisciplinary event | Guided tour through the facilities of the Center for Lightweight Production Technology, with discussions | |

Thursday April 06, 2023 | |||

09:10 | Session 11. Relation Algebra. Chair Stef Joosten | ||

09:10 | Anthony Brogni and Sebastiaan J. C. Joosten |
Translating First-Order Predicate Logic to Relation Algebra, an Implementation (short talk) | Slides |

09:30 | Walter Guttmann |
Dependences between Domain Constructions in Heterogeneous Relation Algebras (contributed talk) | Slides |

10:00 | Michael Winter |
Relational Algebraic Approach to the Real Numbers - The Additive Group (contributed talk) | Slides |

10:30 | Coffee break | ||

11:10 | Session 12. Relations and Reality. Chair José Gil-Férez | ||

11:10 | Roland Glück and Florian Krebs |
Toward Ontology-based Production - Relations building Airplanes (short talk) | Slides |

11:30 | Baltasar Trancón Y Widemann and Markus Lepper |
Towards a Theory of Conversion Relations for Prefixed Units of Measure (contributed talk) | Slides |

12:00 | Lunch | ||

13:40 | Farewell |

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

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.

All dates are AoE (anywhere on Earth):

- Abstract Submission:
~~September 23~~**October 7, 2022** - Paper Submission:
~~September 30~~**October 14, 2022** - Author Notification:
~~December 09~~**December 16, 2022** - Final version:
~~January 06, 2023~~ - RAMiCS 2023: April 03, 2023 -> April 06, 2023

RAMiCS 2020, Palaiseau, France (virtual event)

RAMiCS 2018, Groningen, The Netherlands

RAMiCS 2017, Lyon, France

RAMiCS 2015, Braga, Portugal

RAMiCS 2014, Marienstatt, Germany

RAMiCS 2012, Cambridge, UK

RAMiCS 2011, Rotterdam, The Netherlands

RelMiCS/AKA 2009, Doha, Qatar

RelMiCS/AKA 2008, Frauenwörth, Germany

RelMiCS/AKA 2006, Manchester, UK

RelMiCS/AKA 2005, St. Catherines, Canada

RelMiCS/AKA 2003, Malente, Germany

RelMiCS 2001, Oisterwijk, The Netherlands

AKA 2001, Dagstuhl, Germany

RelMiCS 2000, Valcartier, Canada

RelMiCS 1998, Warsaw, Poland

RelMiCS 1997, Hammamet, Tunisia

RelMiCS 1995, Parati, Brazil

RelMiCS 1994, Dagstuhl, Dagstuhl, Germany

RelMiCS Home Page