Version for CSL 2026

CSL 2026
34th EACSL Annual Conference on Computer Science Logic
Paris, France 24-27 February 2026
https://csl2026.github.io/

Version for OVERLAY Workshop 2024

6th International Workshop on
Artificial Intelligence and
fOrmal VERification, Logic,
Automata, and sYnthesis
OVERLAY 2024
28 and 29 November, Bolzano (Italy)
https://overlay.uniud.it/workshop/2024/