November 22, 2017

RAMiCS 2017, 16th Int. Conf. on Relational and Algebraic Methods in Computer Science, May 15 – 19 2017, Lyon, France

For more than two decades, the RAMiCS conferences series has been the main venue for research on the theory of relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. Theoretical topics include the use of semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales in the theory of automata, concurrency, formal languages, games, networks, programming languages and social choice, and the development of algorithmic, category-theoretic, coalgebraic, proof-theoretic and theorem proving methods for these.