LORENTZ WORKSHOP 2014: Logics for Social Behaviour

Date: from 10 Nov 2014 to 14 Nov 2014
Venue: Lorentz Center

Scientific organizers
> Frederik Herzberg (Bielefeld, Germany)
> Alexander Kurz (Leicester, United Kingdom)
> Alessandra Palmigiano (Delft, The Netherlands)

Topic and aims
This workshop is aimed at starting new scientific collaborations among researchers in the following communities:
(a) mathematical logicians using algebraic, topological and category-theoretic methods for nonclassical logics;
(b) researchers in social choice and judgment aggregation interested in applying logical methods.

While researchers in group (a) are mostly unfamiliar with social choice as a potential field of application of their specific results and techniques, researchers in group (b) have mostly been exposed to only a fragment of the available logical formalisms and techniques, namely to those pertaining to classical logic and model theory, and have largely not been exposed to the results and techniques in the area of group (a).

The many possibilities for applying nonclassical logics and their surrounding mathematical theory (duality theory, algebraic, topological, and category-theoretic methods) to social choice and judgment aggregation form an uncharted research territory which the workshop aims at exploring.

Structure of the workshop
Towards this goal, rather than displaying the standard organization, the present workshop is structured around the following activities:
(i) tutorial sessions, aimed at creating a necessary common ground of core notions between the two communities;
(ii) discussion sessions, led by a first discussant, who introduces the topic with a 10-minute presentation at the beginning of the session, making use of the bases provided by the tutorials. The discussion sessions are aimed at expanding and sharpening the common language introduced in the tutorials, at formulating hypotheses, and at developing connections between notions and results in judgment aggregation and methods in duality theory and neighbouring areas;
(iii) work sessions, in which the participants are encouraged to meet in smaller groups and discuss concrete research directions emerged during the discussion sessions.

Invited speakers
Confirmed keynote speakers are:
> Philippe Mongin (CNRS Paris)
> Ariel Rubinstein (University of Tel Aviv)

Confirmed tutorial speakers are:
> Samson Abramsky (University of Oxford)
> Bob Coecke (University of Oxford)
> Martin Hyland (University of Cambridge)
> Don Saari (University of California)
> Carl Wagner (University of Tennessee)