CSL 2026: 34th EACSL Annual Conference on Computer Science Logic

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), seehttps://www.eacsl.org/.

The event aims to explore a range of themes, including the following: logic in computer science, formal methods and verification, automata and games and rewriting.