On 26 and 27 September 2014 the Institute for Logic, Language and Computation (ILLC) and the University of Amsterdam organized a Celebration Event for Johan van Benthem, on the occasion of his official retirement from the University of Amsterdam. The first day consisted of lectures for the general public, Johan's valedictory lecture, and a reception. The second day was a scientific workshop devoted to current trends in logic, with emphasis on the areas where Johan was or is active.
Documents and multimedia can be downloaded from this page.