Monday, February 10th 2025, Amsterdam, The Netherlands
Co-located with Computer Science Logic (CSL) 2025