Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 27 April - 1 May 2014
Location: Marienstatt im Westerwald. Germany
Deadline: 25 October 2013

Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.

The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website.

For more information, see http://mathcs.chapman.edu/ramics2014

We invite submissions in the general area of Relational and Algebraic Methods in Computer Science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Deadline for title and abstract submission: October 25, 2013.

Please note that this newsitem has been archived, and may contain outdated information or links.