[TYPES/announce] 2nd Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026)

[Uli Fahrenberg]

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

                             CALL FOR PAPERS

                               RAMiCS 2026
                    21st International Conference on
         Relational and Algebraic Methods in Computer Science
      Institute of Mathematics of the Polish Academy of Sciences
                    Będlewo, Poland, 7-10 April 2026

                   https://urldefense.com/v3/__https://ramics-conf.github.io/2026__;!!IBzWLUs!RgkUtp62wDNokVoi3GDj-lXRzHxybhc6qXCmBsl9P71YwKwTvSGovpwb3aTTLcuppAklLWbCZCQuubi29_pTOW60xJ_WgHzeHtT-uh4nEw$ 

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 2026 will be organized at the
Research and Conference Center of the Institute of Mathematics of the Polish 
Academy of Sciences in Będlewo, close to Poznań in Poland, and will feature 
both a classical conference and interactive sessions.

IMPORTANT DATES

* Abstract submission deadline: 8 November 2025
* Paper submission deadline: 13 November 2025
* Author notification: 20 January 2026
* Final version due: 10 February 2026
* Conference dates: 7-10 April 2026

INVITED SPEAKERS

* Lorenzo Clemente, University of Warsaw, Poland
* Anupam Das, University of Birmingham, United Kingdom
* Jana Wagemaker, Radboud University, Nijmegen, The Netherlands

PROGRAM COMMITTEE

* Henning  Basold, The Netherlands
* Manuel Bodirsky, Germany
* Andrew Craig, South-Africa
* Uli Fahrenberg, France (co-chair)
* Wesley Fussner, Czech Republic (co-chair)
* Roland Glück, Germany
* Damas Gruska, Slovakia
* Walter Guttmann, New Zealand
* Robin Hirsch, UK
* Peter Höfner, Australia
* Marcel Jackson, Australia
* Ali Jaoua, Qatar
* Peter Jipsen, USA
* Bartek Klin, UK
* Tomasz Kowalski, Poland
* Sławek Lasota, Poland
* Ioana Leuştean, Romania
* Roger Maddux, USA
* Nelma Moreira, Portugal
* Luigi Santocanale, France (co-chair)
* Jas Šemrl, UK
* Eugenia Ternovska, Canada
* Sara Ugolini, Spain
* 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.

Submission is via EasyChair at

      https://urldefense.com/v3/__https://easychair.org/conferences/?conf=ramics2026__;!!IBzWLUs!RgkUtp62wDNokVoi3GDj-lXRzHxybhc6qXCmBsl9P71YwKwTvSGovpwb3aTTLcuppAklLWbCZCQuubi29_pTOW60xJ_WgHzeHtR-osQFZQ$ 

For more information, see

      https://urldefense.com/v3/__https://ramics-conf.github.io/2026/__;!!IBzWLUs!RgkUtp62wDNokVoi3GDj-lXRzHxybhc6qXCmBsl9P71YwKwTvSGovpwb3aTTLcuppAklLWbCZCQuubi29_pTOW60xJ_WgHzeHtTc05KikQ$ 

Please feel free to forward this announcement to interested colleagues.

Best regards,
the RAMiCS 2026 organizers:
Uli Fahrenberg, Wesley Fussner, and Luigi Santocanale