Special Theme

The third day of the workshop, 25 May 2016, will be dedicated to the special theme on

Formal Models of Social Phenomena

This covers e.g. logical models of interaction, logical models of higher-order beliefs and knowledge, models of opinion formation and models of information flow in social networks.

The talks and activities of this theme day of the workshop can be found in the Program.