33rd EACSL Annual Conference on Computer Science Logic 2025 My Image

In Person and Online

Event Type Conference
Submission Deadline 12/1/2024
Start Date 12/23/2024
End Date 12/24/2024
City and Country Amsterdam, Netherlands
Website https://csl2025.github.io/
Organized by CSL 2025

CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.