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

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 deswart at fwb.eur.nl.