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

Venue

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

Program

To be announced.

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

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