21st International Conference on
Relational and Algebraic Methods in Computer Science
RAMICS 2024

View of Prague

RAMICS 2024 will take place in Prague 19-23 August 2024, collocated with AiML 2024.

Download conference poster

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

Venue and local organization

RAMiCS is collocated with AiML 2024 and is co-organized by the Institute of Computer Science and the Institute of Philosophy of the Czech Academy of Sciences, and the Faculty of Arts of Charles University.

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, or any other format. Short contributions will not be published in the conference proceedings.

Please send your short submission as a single pdf file to ramics2024@easychair.org by 14 June 2024.

Important dates

RAMICS history

RAMiCS has been taking place since 1994, first under the acronym of RelMiCS ("Relational Methods in Computer Science") and, after uniting with the AKA conferences ("Applications of Kleene Algebra") as RAMiCS since 2009. For more information, see https://ramics-conf.github.io/.

List of previous conferences

RAMiCS 2023, Augsburg, Germany
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 Project Page

RAMICS 2024 sponsors

Contact

ramics2024@easychair.org