[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
