Universiteit van Amsterdam


Institute for Logic, Language and Computation

29 October - 1 November 2018, 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2018), Groningen, The Netherlands

Date: 29 October - 1 November 2018
Location: Groningen, The Netherlands
Deadline: Friday 6 April 2018

Since 1994, 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 methodological tools in computer science and beyond.

We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Submissions must not be published or under review for publication elsewhere. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX.

For more information, see http://www.ramics-conference.org/.