GATE organizes 2-day Research Meeting "Social Software and Computational Social Choice" (April 1-2, 2009).
The participants of the meeting are members of two Eurocores LogICCC projects (Modelling Intelligent Interaction - Logic in the Humanities, Social and Computational Sciences) of the European Science Foundations.
The aim of the meeting is to discuss main research topics of the meeting participants and to initiate collaboration between the two group.
PROGRAM OF THE MEETING
Wednesday, April 1st
10:00 – 12:30 : Presentations of the project members "Computational Foundations of Social Choice" (CFSC) :
Jörg Rothe (University of Düsseldorf, Germany)
"Llull and Copeland Voting Computationally Resist Bribery and Control"
Dorothea Baumeister (University of Düsseldorf, Germany)
"A Computational Analysis of Minimal Upward Covering Sets"
Claudia Lindner (University of Düsseldorf, Germany)
"Not Everyone Likes Mushrooms — Fair Division and the Degree of
Guaranteed Envy-Freeness"
12:30 – 14:00 : Lunch
14:00 – 17:45 : Presentations of the project members "SOCIAL SOFTWARE for elections, the allocation of tenders and coalition/alliance formation" (SSEAC) :
Rudolf Berghammer (University of Kiel, Germany)
"Combining Relation Algebra and RelView in Formal Algorithm Development"
Harrie de Swart (Tilburg University, The Netherlands)
"Applying Relation Algebra and RelView to Measures in a Social Network"
Agnieszka Rusinowska
(CNRS – University of Lyon, France)
"Applying Relational Algebra, RelView and Graph Theory to Coalition Formation"
Kari Saukkonen (University of Turku, Finland)
"Continuity and Measurability of Arrovian Social Welfare Functions : a Generalization"
20:00 - Dinner
Thursday April 2nd
Discussions and working in the groups
Organizer of the meeting : Agnieszka Rusinowska (GATE - CNRS)