International Conference on Relational and Algebraic Methods in Computer Science
RAMiCS is a conference series and primary forum for research on relation algebras, Kleene algebras, semigroups, residuated lattices, semirings, quantales, and related algebraic structures in computer science.
ICO
Events
RAMiCS 2026 covers relation algebras, Kleene algebras, related algebraic structures, program logics, automata theory, concurrency, formal languages, networks, programming languages, automated reasoning, and verification.
Apr 7, 2026 - Apr 10, 2026
Będlewo, Poland
relation algebra
Kleene algebra
formal methods
+2