Apologies for multiple copies of this email; please distribute as you see fit.

CALL FOR PAPERS

RAMiCS 2027
23rd International Conference on
Relational and Algebraic Methods in Computer Science
University of Johannesburg
Wits Rural Facility, Hoedspruit, South Africa, 16-20 August 2027

https://ramics-conf.github.io/2027

The RAMiCS conference series is the main venue for research on relational algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2027 will be organized at the Wits Rural Facility, Hoedspruit, South Africa, and will feature both a classical conference and interactive sessions.

IMPORTANT DATES

* Abstract submission deadline: 8 January 2027
* Paper submission deadline: 22 January 2027
* Author notification: 26 March 2027
* Final version due: 23 April 2027
* Conference dates: 16-20 August 2027

PROGRAM COMMITTEE

* Andrew Craig — South Africa (PC co-chair)
* Roland Glück — Germany (PC co-chair)
* Evgenia Ternovska — Canada (PC co-chair)
* Henning Basold — The Netherlands
* Paul Brunet — France
* Uli Fahrenberg — France
* Damas Gruska — Slovakia
* Walter Guttmann — New Zealand
* Robin Hirsch — United Kingdom
* Peter Höfner — Australia
* Marcel Jackson — Australia
* Ali Jaoua — Qatar
* Peter Jipsen — United States
* Tomasz Kowalski — Poland
* Arun Kumar — India
* Sławomir Lasota — Poland
* Ioana Leustean — Romania
* Roger Maddux — United States
* Brett McLean — Belgium
* Nelma Moreira — Portugal
* Luigi Santocanale — France
* Jas Semrl — United Kingdom
* Michael Winter — Canada
* Krzysztof Ziemiański — Poland

SCOPE

Since 1994, the RAMiCS conference series has been the main venue for research on relational 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 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.

We are calling for submission of original work not published or under review for publication elsewhere. The proceedings will be published as part of Springer LNCS. 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. Submissions must be in English using a PDF not exceeding 16 pages (excluding references and AI disclosure; see below) in LNCS style.

Submission is via EasyChair at

https://easychair.org/conferences/?conf=ramics2027

For more information, see

https://ramics-conf.github.io/2027/

With regard to the recent developments in AI, there are the following guidelines for the use of AI:

1. Use of generative AI tools for conducting research must be disclosed in a submitted paper, with their specific uses described in detail. Such uses include the design of the research project, creation of theories and algorithms, designing experiments, generation and collection of data, coding, data analysis, testing, assisting with writing, or any aspects that are directly relevant to the conclusion of the research. This disclosure does not count towards the page limit. We expect that contributions result mostly from human action. The PC may take the use of generative AI into account when assessing the novelty of submissions.

2. All named authors on a submission will be held responsible and accountable for any problematic content contained in the submission, regardless of its source.

3. PC members and subreferees must preserve confidentiality of the submitted material; in particular, it should not be passed to external AI tools.

Please feel free to forward this announcement to interested colleagues.

Best regards,
the RAMiCS 2027 organizers:
Andrew Craig, Roland Glück, and Eugenia Ternowska