The workshop series Logics for Social Behaviour is aimed at starting new scientific collaborations among researchers in the following communities:
|Registration deadline:||  7 January 2016|
|Abstracts for presentations:||14 January 2016|
Rather than displaying the standard organization, the workshop will be structured around the following activities:
Thursday 11 Feb 2016 is intended as a free work session in which the participants are encouraged to meet in smaller groups and discuss concrete research directions that emerged during the meeting. The workshop room will be available as a meeting room, but there will be no organised coffee breaks or lunches on this day.
If you are interested in giving a presentation, please send a 1-page abstract by 14 January 2016 to one of the organisers. If you are interested in leading a discussion session, please contact one of the organisers.
A detailed schedule including titles and abstracts is available here as PDF.
Franz Dietrich (Paris School of Economics, CNRS): Perspectives on Judgment Aggregation. [slides]
Felix Kübler (Univerity of Zürich): Simple epsilon-Equilibria. [slides]
Jérôme Lang (Université Paris Dauphine, CNRS): Algorithmic Decision Theory Meets Logic. [slides]
Alessandra Palmigiano (Delft University of Technology): Proof Systems for the Logics for Social Behaviour. [slides]
Dusko Pavlović (University of Hawaii): Learning Equilibria in Monoidal Computer. [slides]
Burkhard Schipper (University of California, Davis): Unawareness - Theory and Applications to Games and Economics. [slides]
Giovanni Cina (Amsterdam): Bisimulation for conditional modalities. [slides]
Daniel Eckert (Graz): Judgment aggregation and multiple-expert modal models. [slides]
Neil Ghani (Strathclyde): Iteration and choice in pregames. [slides]
Jules Hedges (London): How to make game theory compositional. [slides]
Pierre Lescanne (Lyon): Type theory notations and concepts for infinite games in extensive form. [Note and COQ code]
Luc Pellissier (Paris): Monetary economics simulation: Stock-flow consistent invariance, monadic style. [slides]
Marcus Pivato (Cergy-Pontoise): Measures on categories. [slides]
Andrew Schumann (Rzeszow): Logical models for slime mould computing. [slides]
Elias Tsakas (Maastricht): Local reasoning in dynamic games. [slides]
Apostolos Tzimoulis (Delft): Technical aspects of the logic of resources and capabilities. [slides]
Fan Yang (Delft): Formalizing Arrow's theorem in logics of dependence and independence. [slides]
We gratefully acknowledge financial support from the Chair of Integrative Risk Management and Economics of Prof. Antoine Bommier (ETH Zürich), and the Chair of Macroeconomics: Innovation and Policy of Prof. Hans Gersbach (ETH Zürich).
Dept. of Management, Technology and Economics (M-TEC), ETH Zürich.
Keynote speakers will be staying at Hotel St. Josef which is about 10 mins walk from the workshop venue. See map on the right.
For other options, see the list of recommended hotels on the website of the ETH here. As everything in Zürich, also the hotels are rather expensive and the prices are generally 100-200 CHF per night. There is also the possibility to rent rooms or apartments on AirBnB which can be considerably cheaper.
Directions from the workshop venue to Wirtschaft Neumarkt, Neumarkt 5, where the apéro and workshop dinner take place.
Directions from Hotel St. Josef to Zeughauskeller for drinks and dinner on Sunday 7 Feb at 19:00.
All workshop info (programme, abstracts, maps) can be downloaded as a single PDF here.
A printout will be supplied to all participants at registration.