33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)

Together with Sylvain Schmitz, I am program committee co-chair of Computer Science Logic (CSL) 2025, held at CWI in Amsterdam. Please consider submitting a paper; submission deadline July 23, 2024 (abstracts July 18, 2024).