Relational and Algebraic Methods in Computer Science (RAMICS 2026)
Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland, April 07-10, 2026
Relational and Algebraic Methods in Computer Science (RAMICS 2026)
Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland, April 07-10, 2026
RAMICS 2026 will take place on April 7-10, 2026, at the Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland.
Since 1994, the RAMiCS conference series has served as the primary forum for research on relation algebras, Kleene algebras, and related algebraic structures. These frameworks play a central role as conceptual and methodological tools in computer science and beyond.
On the theoretical side, RAMiCS covers topics such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales, and other related structures. The conference explores their connections with program logics and other logical systems, as well as their roles in automata theory, concurrency, formal languages, games, networks, and programming languages. It also welcomes contributions on the development of algebraic, algorithmic, categorical, coalgebraic, and proof-theoretic methods, including formalisation efforts using theorem provers.
Applications of these formalisms span a wide range of domains, including tools and techniques for program specification, verification, and correctness; qualitative and quantitative models of computing systems; algorithm design; automated reasoning; network protocol analysis; optimisation; control; and even social choice theory.
RAMICS 2026 will take place at the Institute of Matematics of Polish Academy of Sciences, Będlewo, Poland.
The RAMiCS Safety and Inclusivity Team serves as the main point of contact at the conferences for any issues related to safety, harassment, and threatening behaviour. If you have any questions or concerns about these or related issues, we encourage you to speak to a member of the Safety and Inclusivity Team, who can be identified by a blue sticker on their conference badge.
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=ramics2026
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.
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/.