Theoretical Aspects of Rationality and Knowledge, 12–14 July