Formal Methods for the Informal World

Description and Aim

Understanding social reality requires tools that can capture the influence of individual decision making and networks. Logical and philosophical formalisms are often too simplistic to support the analysis of complex real-world situations, whereas empirical methods work well to understand the average, standard, situations but are not generalizable to volatile changing environments, nor to understand individual decisions. In this workshop, we will explore the use of formal methods to describe and analyse informal systems. Identifying structural elements and relationships in social systems will open novel ways of reasoning about these systems and provide conceptual clarity to debate and decision making.

Keynote speakers:

Johan van Benthem

Sven Ove Hansson

Paul Ormerod

Jan-Willem Romeijn

Lambèr Royakkers

Mark Dechesne

Barry Silverman