20th International Conference on
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.

Proceedings

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

Invited Speakers

Registration

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.

Venue

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.

Augsburg can be reached by public transport from both Munich airport and Memmingen airport. To get to the venue from Augsburg central station use the tramway line 3 in the direction of "Inninger Straße/Königsbrunn" or "Königsbrunn Zentrum" (the important part is "Königsbrunn") and leave at "Innovationspark/LfU". The venue is on the right in the direction of travel of the tramway. The following hotels are close to the venue: The venue is located a little distance outside the center of Augsburg. However, the center is easily reachable via tramway. Simply enter line 3 at "Innovationspark/LfU" in direction "Königsplatz" and leave there. For the ride you can use a single ticket of price-level 2 or - if you plan to ride more often - you can buy a so-called "Streifenkarte" (strip card) in which case you have to use two strips. Both the single tickets and the strip cards can be purchased at vending machines at every station and have to be devaluated by stamping either inside the tramway or at the station. Of course, the price function is symmetric. The last tramway from the center ("Königsplatz") departs at midnight. Unfortunately, the web page of the Augsburg transport association is only available in German.

Program

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

Call for papers

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

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.

Important dates

All dates are AoE (anywhere on Earth):

RAMiCS 2023 Sponsors

DLR logo DFG logo

Contact

ramics2023@easychair.org

History of RAMiCS

RAMiCS 2021, Marseille, France
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