12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 12)
RAMiCS 12 May 30 - June 3, 2011 Erasmus University Rotterdam |
About the Conference RAMiCS 12
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 program.
The special track will be visible throughout the conference and is not restricted to one day or so. On the one hand this meeting will demonstrate the potential of relational and algebraic methods and software tools like RELVIEW to members of the social choice community; on the other hand this meeting gives the members of the social choice community the possibility to disseminate their results to a group of potentially interested scientists from the relational and algebraic community and to provide them with potential applications of their tools.
Topics include: relation algebra, Kleene algebra, fixpoint calculi, semiring theory,
iteration algebras, process algebras and dynamic algebras.
Applications include: formal algebraic modeling, the semantics, analysis and development of programs, computational social choice, social software, formal language theory, graph theory and combinatorial optimization.
Invited Speakers
For social choice | |
prof. dr. Donald Saari | Mysteries involving paired comparisons |
dr. Agnieszka Rusinowska | Social Networks: Prestige, Centrality and Influence |
For relational and algebraic methods | |
prof. dr. Renate Schmitz | Synthesising Terminating Tableaux for Relational Logics |
prof. dr. Bernhard Möller | Building Structured Theories |
prof. dr. Chris Brink | RAMiCS and Research |
Tutorials
The conference will be accompanied by a Ph.D. programme and four tutorials, two on relational and algebraic methods and two on (computational) social choice theory.
For relational and algebraic methods | |
Dr. Georg Struth | Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL |
Dr. Michael Winter | Relation Algebraic Approaches to Fuzzy Relations |
For social choice | |
Prof. dr. Donald Saari | Explaining voting paradoxes; including Arrow's and Sen's theorems |
Prof. dr. Felix Brandt (CFSC, Technische Universität Munich, Germany) | From Arrow's Impossibility to Schwartz's Tournament Equilibrium Set |
Ph.D. Student Programme
In addition to attending the four tutorials, Ph.D students are invited to submit a paper of maximally 6 pages on their work in progress, for presentation at the conference (if accepted), although not yet being a full conference paper (and hence not to be included in the Proceedings). In contrast with the regular papers, such papers cannot be submitted via EasyChair, but they should be submitted directly to the conference chair as pdf attachment to an ordinary email: deswart@fwb.eur.nl
Submitted Ph.D papers can be found here
