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.

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" 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
09:45 Welcome
10:00 Session 1. Systems.
10:00 Alexander Knapp Specifying Event/Data-based Systems (invited talk)
11:00 Roland Glück Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients (contributed talk)
11:30 Nasos Evangelou-Oost, Callum Bannister and Ian Hayes Contextuality in distributed systems (contributed talk)
12:00 Lunch
13:30 Session 2. Representability.
13:30 Wesley Fussner and Peter Jipsen Poset Product Representations Over Simple Residuated Lattices (short talk)
13:50 Rudolf Berghammer and Michael Winter A General Method for Representing Sets of Relations by Vectors (contributed talk)
14:20 Peter Jipsen and Jas Semrl Representable and diagonally representable weakening relation algebras (contributed talk)
14:50 Coffee break
15:20 Session 3. Categories
15:20 Luigi Santocanale and Cédric de Lacroix Prenuclear vs. Nuclear Objects in ⋆-Autonomous Categories (short talk)
15:40 Jesse Sigal and Chris Heunen Duoidally enriched Freyd categories (contributed talk)
16:10 Coffee break
16:40 Session 4. Counting and Enumeration.
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)
17:00 Arman Shamsgovara Enumerating, Cataloguing and Classifying all Quantales on up to Nine Elements (contributed talk)
Tuesday April 04, 2023
09:00 Session 5. Kleene Algebra.
09:00 Tobias Kappé Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (contributed talk)
09:30 Igor Sedlár On the Complexity of *-Continuous Kleene Algebra With Domain (contributed talk)
10:00 Coffee break
10:40 Session 6. Algebras and Varieties.
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)
11:10 Hans Leiß An Algebraic Representation of the Fixed-Point Closure of *-Continuous Kleene Algebras (short talk)
11:30 Mark Hopkins and Hans Leiß Normal Forms for Elements of the *-Continuous Kleene Algebras K (x) C2' (contributed talk)
12:00 Lunch
13:30 Session 7.
13:30 Valeria Vignudelli Equational Theories and Distances for Computational Effects (invited talk)
14:30 Coffee break
15:00 Session 8. Algebraic Structures.
15:00 José Gil-Férez, Peter Jipsen and Siddhartha Lodhia The structure of locally integral involutive po-monoids and semirings (contributed talk)
15:30 Jeremy F. Alm, David Andrews and Michael Levet Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture (contributed talk)
16:00 Andrew Lewis-Smith and Jas Semrl Implication Algebras and Implication Semigroups of Binary Relations (contributed talk)
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.
09:10 Laura Kovács and Anton Varonka What Else is Undecidable about Loops? (contributed talk)
09:40 Yannick Chevalier Model Synthesis based on Experience (short talk)
10:00 Martin E. Bidlingmaier Datalog with Equality: Semantics and Evaluation (short talk)
10:20 Coffee break
11:00 Session 10.
11:00 John Stell Algebra and Logic in Granularity (invited talk)
12:00 Lunch
13:50 Business meeting
15:50 Coffee break
16:30 Interdisciplinary event Guided tour through the facilities of the Center for Leightweight Production Technology, with discussions
Thursday April 06, 2023
09:10 Session 11. Relation Algebra.
09:10 Anthony Brogni and Sebastiaan J. C. Joosten Translating First-Order Predicate Logic to Relation Algebra, an Implementation (short talk)
09:30 Walter Guttmann Dependences between Domain Constructions in Heterogeneous Relation Algebras (contributed talk)
10:00 Michael Winter Relational Algebraic Approach to the Real Numbers - The Additive Group (contributed talk)
10:30 Coffee break
11:10 Session 12. Relations and Reality.
11:10 Roland Glück and Florian Krebs Toward Ontology-based Production - Relations building Airplanes (short talk)
11:30 Baltasar Trancón Y Widemann and Markus Lepper Towards a Theory of Conversion Relations for Prefixed Units of Measure (contributed talk)
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