Heuristic Reasoning Workshop, 13–15 June