22 June 2007, RUC-ILLC Workshop on Formalizing Actions, Roskilde University, Denmark

In recent years formalizing actions has become a common theme in formal philosophy and philosophical logic. Understanding actions and agency is important for e.g. dynamic logic, deontic logic and epistemic logic. Actions might be seen as unique or as part of a more general theory of dynamic processes. In this workshop we bring together top researchers who formalize actions within dynamic logic, deontic logic, epistemic logic, formal decision theory, temporal logic - and any combination of these.

For more information, see http://akira.ruc.dk/~mamobe/actionworkshop.html.