Relational and Algebraic Methods in Computer Science (RAMICS 2026)
Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland, April 7-10, 2026
Relational and Algebraic Methods in Computer Science (RAMICS 2026)
Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland, April 7-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.
Additionally to the standard Call for Papers, RAMiCS is also calling for presentations or short contributions. 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.
A presentation may also be a tutorial, or an open question of interest to the community. These presentations will not be published in the conference proceedings.
Please send your contribution as a single pdf file to ramics2026@easychair.org by 26 February 2026.
RAMICS 2026 will take place at the Institute of Matematics of the Polish Academy of Sciences, Będlewo, Poland.
RAMiCS has no registration fee. Accomodation is at the Będlewo center and costs 300 PLN per day, including full board. Please indicate during registration whether you are willing to share your room with someone else. Payment of accomodation and board is directly to the center.
We will organize transportation between Poznań and Będlewo, please indicate your arrival and departure times during registration. Poznań itself is well-connected by train and by plane.
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.
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/.
|
|
|
|
|