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.

30 May - 3 June 2011, 12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 12), Rotterdam, The Netherlands

Date: 30 May - 3 June 2011
Location: Rotterdam, The Netherlands
Deadline: 1 December 2010

Over the past twenty years, the RelMiCS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra) conferences have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. At the last of these conferences it was decided that the two series should be united under the new title "Relational and Algebraic Methods in Computer Science (RAMiCS)". This year, special attention will be paid to the fact that the meetings started 20 years ago at the Banach Center in Warsaw.

Relational and algebraic methods and software tools like RELVIEW turn out to be useful for solving problems in social choice and game theory. For that reason this conference includes a special track on computational social choice and social software, organized by the CFSC (Computational Foundations of Social Choice) and SSEAC (Social Software for Elections, the Allocation of tenders and Coalition formation) projects of the ESF LogICCC programme.

For more information, see http://www.eur.nl/fw/english/ramics12/ or contact Harrie de Swart at .

We invite submissions on the general topics of Relational and Algebraic Methods in Computer Science, and on Computational Social Choice and Social Software in particular. Papers and proposals for tutorials are due by December 1, 2010.

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