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.