Please note that this newsitem has been archived, and may contain outdated information or links.
2 - 5 November 2021, 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021), Marseille, France
The RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodologica tools in computer science and beyond.
Submissions in the general fields of algebras relevant to computer science and applications of such algebras are invited. Topics include but are not limited to:
*** Theory ***
- algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales
- 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 ***
- tools and techniques for program correctness, specification and verification
- quantitative and qualitative models and semantics of computing systems and processes
- algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control
- industrial applications
Please note that this newsitem has been archived, and may contain outdated information or links.