33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)
74 74 people viewed this event.
33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) will be held in Amsterdam, Netherlands
All contributions on logic, formal methods and automated deduction are welcome.
The deadline for sending submissions is July 23, 2024