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.

28 September - 1 October 2015, 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015), Braga, Portugal

Date: 28 September - 1 October 2015
Location: Braga, Portugal
Deadline: 1 April 2015

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.

For more information, see http://ramics2015.di.uminho.pt

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. Title and abstract submission deadline: April 01 2015

If you are doing a PhD or an MSc in the research areas of the RAMiCS conference please consider submitting an extended abstract of your ongoing work for presentation at the conference. Deadline for student-track PhD/MSc extended abstracts: July 03 2015.

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