The symposium had to be cancelled because of tighter coronavirus restrictions in the Netherlands.
On October 1st, CWI and ILLC are organizing a symposium on the occasion of the retirement of Jos Baeten. A live video stream of the symposium will be offered by CWI.
The program of the symposition is available here: https://www.cwi.nl/events/
2020/farewell-symposium-jos- baeten/symposium-retirement- jos-baeten. At 16h30 Jos Baeten is scheduled to give his presentation.