22nd International Conference on Relational and Algebraic Methods in Computer Science
RAMiCS 2026 covers relation algebras, Kleene algebras, related algebraic structures, program logics, automata theory, concurrency, formal languages, networks, programming languages, automated reasoning, and verification.
Tuesday, April 7, 2026 - Friday, April 10, 2026
Będlewo, Poland
2IC
About This Conference
RAMiCS 2026 covers relation algebras, Kleene algebras, related algebraic structures, program logics, automata theory, concurrency, formal languages, networks, programming languages, automated reasoning, and verification.
Tags
relation algebra
Kleene algebra
formal methods
automata theory
programming languages
Quick Info
Date & Time
Tuesday, April 7, 2026 - Friday, April 10, 2026
Location
Institute of Mathematics of the Polish Academy of Sciences, Będlewo Conference Center
Będlewo, Poland