14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014)
Marienstatt im Westerwald, Germany
28 April - 1 May 2014

Welcome       CFP ⊕ Submission       Dates       Invited Speakers       Venue ⊕ Travel       Accommodation       Registration       Programme       Committees       History

Since 1994, the RelMiCS meetings have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and has been co- organized with the RelMiCS conference since. Due to their considerable overlap, the two events have a joint PC, joint proceedings, and are now unified under the RAMiCS name: Relational and Algebraic Methods in Computer Science. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization.