Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| CSL 2026 | 34th EACSL Annual Conference on Computer Science Logic | Paris, France | July 21, 2025 | February 23, 2026 | logic in computer science formal methods and verification automata and games rewriting | ![]() |

.