Mathematical Logic in the Netherlands, 19–20 May. tr 2024, 5 (7).