2nd Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026)

2nd Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026)

[Luigi Santocanale]

[-- Attachment #1: Type: text/plain, Size: 4621 bytes --]

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://ramics-conf.github.io/2026<https://url.au.m.mimecastprotect.com/s/6NH_CNLJxki0AzGA5Ujiguyft8G?domain=ramics-conf.github.io>

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://easychair.org/conferences/?conf=ramics2026<https://url.au.m.mimecastprotect.com/s/oen9COMK7YcpJMyJrhrsyuGxEDV?domain=easychair.org>

For more information, see

https://ramics-conf.github.io/2026/<https://url.au.m.mimecastprotect.com/s/6NH_CNLJxki0AzGA5Ujiguyft8G?domain=ramics-conf.github.io/>

Please feel free to forward this announcement to interested colleagues.

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


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/mail/deeplink/groupActions?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/mail/deeplink/groupActions?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 6913 bytes --]