Lorentz Center - Formal Methods for the Informal World from 4 Mar 2013 through 8 Mar 2013
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Formal Methods for the Informal World
    from 4 Mar 2013 through 8 Mar 2013

 

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

 

 

 



   [Back]