Mathematical Logic in the Netherlands, 19–20 May