Thirty Years of Nonmonotonic Reasoning, 22–25 October