8 - 11 February 2016


ETH Zürich, Switzerland



Franz Dietrich, Paris School of Economics, CNRS
Felix Kübler, University of Zürich
Jérôme Lang, Université Paris Dauphine, CNRS
Alessandra Palmigiano, Delft University of Technology
Dusko Pavlović, University of Hawaii
Burkhard Schipper, University of California, Davis

Topics and Aims

The workshop series Logics for Social Behaviour is aimed at starting new scientific collaborations among researchers in the following communities:

  • Mathematical logicians using logical, nonclassical logical, algebraic, coalgebraic, topological and category-theoretic methods.
  • Researchers in economics, game theory and social choice theory interested in applying these mathematical and computational methods.

Former events:


Important Dates

Registration deadline:   7 January 2016
Abstracts for presentations:   14 January 2016

Structure of the workshop

Rather than displaying the standard organization, the workshop will be structured around the following activities:

  • Keynote talks by the invited speakers, aimed at creating a necessary common ground of core notions between the two communities and presenting the big pictures of the relevant fields.
  • Contributed talks by some of the participants, aimed at familiarizing participants with current research in the two communities.
  • Discussion sessions led by a moderator who introduces the topic with a 10-minute presentation at the beginning of the session, making use of the bases provided by the other talks. The discussion sessions are aimed at expanding and sharpening the common language introduced in the other talks, and at developing connections between the fields.

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.

Submissions for presentations or discussion sessions

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.

Workshop Programme

A detailed schedule including titles and abstracts is available here as PDF.

General schedule

Monday 8 Feb - Wednesday 10 Feb: 9:15 - 17:30 (lunch: 12:00-14:00)
Thursday 11 Feb: free work session

Social Programme

For those who arrive on Sunday 7 Feb and would like to meet for drinks and dinner, we have a reservation at the Zeughauskeller for 19:00. Directions are found under Local Info.

On Tuesday 9 Feb at 18:30, there will be an Apéro followed by a workshop dinner (starting 19:15 in the Bilgeri Stube) at Wirtschaft Neumarkt (ca. 7 min walk from the workshop venue). Directions are found under Local Info.

Keynote speakers and titles

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]

Contributed talks

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]


  • Participation is by invitation only.
  • Registration is free of cost and includes "standing lunch" at the workshop location and coffee breaks (Mon-Wed), as well as apéro and workshop dinner.
  • Non-workshop participants may join for the apéro and dinner for the price of 100 CHF per person, payable in cash on the first workshop day.


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).

Workshop venue


Dept. of Management, Technology and Economics (M-TEC), ETH Zürich.
Zürichbergstrasse 18, Zürich.
G Floor, Conference Room G 1


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.

Workshop dinner venue

Directions from the workshop venue to Wirtschaft Neumarkt, Neumarkt 5, where the apéro and workshop dinner take place.

Sunday drinks/dinner venue

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.

Group photo