Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.
CSL is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL’22 will be held on February 14 – 19, 2022, online. The conference is hosted by the University of Göttingen, and organized by the group Fundamentals of Computer Science of the Institute of Computer Science.
The conference is also open to students. In particular, the workshop “Logic Mentoring Workshop” (https://lmw.mpi-sws.org/csl/) might be interesting.
For more information, see please the website of the conference http://csl2022.uni-goettingen.de/