Annual Conference on Computer Science Logic — 2027
January 25-29, 2027
University of SussexBrighton, UK
Important Dates
| Submission deadline | July 15, 2026 |
| Notification of acceptance | October 15, 2026 |
CORE Ranking B
The Annual Conference on Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL) and a leading international forum at the intersection of logic, mathematics, and computer science. Topics covered include proof theory, model theory, lambda calculus, type theory, categorical logic, verification, complexity, and formal methods. CSL 2027 is held at the University of Sussex on the Falmer campus outside Brighton, in late January 2027. The abstract submission deadline is 8 July 2026 and full paper submission closes 15 July 2026, with notifications expected 15 October 2026.
Venue
University of Sussex
Falmer, Brighton BN1 9RH, United Kingdom
🔗 View full venue details
Our picks for Annual Conference on Computer Science Logic attendees
A curated selection of hotels chosen for location, value, and fit for conference travellers.
Hilton Brighton Metropole
106 Kings Road, Brighton BN1 2FU, United Kingdom
4-star Hilton on the seafront next to the Brighton Centre, with large conference-ready rooms and reliable business facilities - a solid choice...
Hotel du Vin Brighton
2-6 Ship Street, Brighton BN1 1AD, United Kingdom
Boutique 4-star in a converted mock-Gothic building in the heart of the Lanes, with a well-regarded bistro and wine bar - best...
Ibis Brighton City Centre
41-45 Black Lion Street, Brighton BN1 1ND, United Kingdom
Budget-friendly Ibis in the heart of Brighton near the seafront and the Lanes - the most affordable hotel option with a central...
Jury's Inn Brighton
101 Stroudley Road, Brighton BN1 4DJ, United Kingdom
Reliable 3-star chain hotel a short walk from Brighton Station - one of the most convenient options for CSL attendees commuting to...
The Grand Brighton
97-99 Kings Road, Brighton BN1 2FW, United Kingdom
Brighton’s most iconic seafront hotel - a Victorian grand dame with a full spa, indoor pool, and multiple dining venues right on...
YHA Brighton
Patcham Place, London Road, Brighton BN1 8YD, United Kingdom
YHA-affiliated hostel in a Georgian mansion north of Brighton city centre with private rooms and dorms, free parking, and a shared kitchen...
Annual Conference on Computer Science Logic 2026 — Paris, France