Formal Methods for the Informal World

4 - 8 March 2013

Venue: Lorentz Center@Oort

If you are invited or already registered for this workshop, you have received login details by email.

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


Follow us on:

Niels Bohrweg 1 & 2

2333 CA Leiden

The Netherlands

+31 71 527 5400