Logic and Knowledge, 16-19 June