RAMICS 2026: Call for Papers

The 22nd International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2026) will take place on April 7-10, 2026, at the Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland.

RAMICS is the primary forum for research on relation algebras, Kleene algebras, and related algebraic structures, focusing on their theoretical foundations and applications in computer science and related fields.

Submission Guidelines

• All papers will be peer-reviewed by at least three referees.
• Submissions must be in English using a PDF not exceeding 16 pages (excluding references) in LNCS style.
• Submissions must not be published or under review for publication elsewhere.
• 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.
• Submission is via EasyChair at https://easychair.org/conferences/?conf=ramics2026

Publication

The proceedings will be published in an LNCS volume by Springer, ready at the conference.

A journal special issue with revised and extended versions of a selection of the best papers is intended.

Safety and Inclusivity

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.

Contact

ramics2026@easychair.org