Registration Panel
22nd International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2026
Event Serial-1730669
Website https://ramics-conf.github.io/2026/
Contact Person- conference coordinator
Event enquiries email address- [email protected]
Deadline for abstracts/proposals: 2026-04-02
Organized by: ramics
Venue: Warsaw, Poland
About Event
the RAMiCS conference series has served as the primary forum for research on relation algebras, Kleene algebras, and related algebraic structures. These frameworks play a central role as conceptual and methodological tools in computer science and beyond. On the theoretical side, RAMiCS covers topics such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales, and other related structures. The conference explores their connections with program logics and other logical systems, as well as their roles in automata theory, concurrency, formal languages, games, networks, and programming languages. It also welcomes contributions on the development of algebraic, algorithmic, categorical, coalgebraic, and proof-theoretic methods, including formalisation efforts using theorem provers.