21st International Conference on
Relational and Algebraic Methods in Computer Science
RAMICS 2024
RAMICS 2024 will take place in Prague 19-22 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
- Frimpong Osei and Michael Winter.
L-Fuzzy Weak Preference, Preference, and Choice Relations
- Jeremy Alm, Ashlee Bostic, Claire Chenault, Kenyon Coleman and Chesney Culver.
Cyclic Group Spectra for Some Small Relation Algebras
- Yoshiki Nakamura.
Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops
- Luigi Santocanale, Gregory Chichery and Cédric de Lacroix.
Lifting star-autonomy
- Ignacio Bellas Acosta and John Stell.
Monotone Ω-Sup-Fuzzy Relations: Converse and Complementation
- Peter Jipsen, Andrew Craig and Claudette Robinson.
Frames and spaces for distributive quasi relation algebras and involutive FL-algebras
- Thomas Baronner, Henning Basold and Márton Hablicsek.
Irrationality of Process Replication for Higher-Dimensional Automata
- Roland Glück.
A Matrix-oriented View of Bisimulation Quotients over Dioid-labeled Transition Systems
- Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Přenosil and Melissa Sugimoto.
On the structure of balanced residuated partially-ordered monoids
- Ian J. Hayes, Larissa Meinicke and Naso Evangelou-Oost.
Restructuring a concurrent refinement algebra
- Sebastiaan Joosten and Stef Joosten.
Data Migration under a Changing Schema in Ampersand
- Nikolai Krivulin.
Using matrix sparsification to solve tropical linear vector equations
- Cameron Calk and Luigi Santocanale.
Complete congruences of completely distributive lattices
- Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg and Krzysztof Ziemianski.
Presenting Interval Pomsets with Interfaces
- Stefano Aguzzoli and Matteo Bianchi.
Tabular and pretabular varieties of MTL-algebras
Accepted short contributions
- Wesley Fussner and Simon Santschi.
Varieties of BL-Algebras With the Amalgamation Property: An Exhaustive Classification
- Uli Fahrenberg.
Developments in Higher-Dimensional Automata Theory
- Filip Jankovec.
Variety of pointed Abelian l-groups
- George Metcalfe and Simon Santschi.
Right-orders on Free Groups
- Jérémy Ledent and Roman Kniazev.
Towards Domain Theory for Distributed Tasks
- Eugenia Ternovska.
Promise Algebra: a Functional Approach to Non-Deterministic Computations
- Baltasar Trancón y Widemann.
Towards a Relation-Algebraic Account of Control Flow Graph Analysis
- Nino Guallart.
Formal Properties of Stochastic Matrices for Subjective Probabilistic Operators in Kripke Frames
- Ali Jaoua.
Fuzzy and crisp binary relation reduction: applications for data summarization and anomalies detections
Registration
Registration is now open. The deadline for early registration is 26 June 2024, and the deadline for regular registration
is 26 July 2024. Participants should register using the following link: Online registration page
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.
The venue is located a few metres from the Staroměstská metro station.
See
the AiML local information site for more.
Call for papers
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
(excluding references)
in LNCS style.
Submission is via EasyChair
at https://easychair.org/conferences/?conf=ramics2024
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.com/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.
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 17 June 2024.
Important dates
- Paper submission:
23 March
- Author notification:
21 May 2024
- Resubmission of shepherded papers: 15 June 2024
- Submission of short contributions: 17 June 2024
- Final version due: 22 June 2024
- Registration: 26 June 2024 (early) / 26 July 2024 (regular)
- Conference dates: 19-22 August 2024
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
ramics2024@easychair.org