Annual Conference on Computer Science Logic — 2026
February 23-28, 2026
Sorbonne Paris Nord UniversityParis, France
Important Dates
| Submission deadline | July 15, 2025 |
| Notification of acceptance | October 25, 2025 |
CORE Ranking B
CSL — Computer Science Logic
What It Is
CSL (Computer Science Logic) is the annual conference of the European Association for Computer Science Logic (EACSL). It serves as a leading forum at the intersection of logic, mathematics, and computer science.
Scope
Topics span the theory and applications of logic in computer science, including automated deduction, model checking, type theory, lambda calculus, semantics, proof theory, complexity theory, verification, and logical foundations of artificial intelligence and databases.
Who Should Submit
- Researchers advancing the theory of logic and computation
- Authors presenting new methods and tools in formal verification, reasoning, and program analysis
- Scholars contributing applied logic results in areas such as databases, AI, or quantum computing foundations
Who Should Attend
- Academics and students engaged in logic, algorithms, and theoretical computer science
- Practitioners interested in applying formal methods and verification in software and systems
- Interdisciplinary researchers bridging mathematics, logic, and computation
Why It Matters
CSL provides a respected international venue for presenting advances in logic and its role in computer science, fostering dialogue between theorists and practitioners, and shaping the foundations of computing.
Venue
Sorbonne Paris Nord University
99 Av. Jean Baptiste Clément, 93430 Villetaneuse, France
🔗 View full venue details
Hotels and Hostels near Sorbonne Paris Nord University
B&B Hotel Paris Est Bobigny Université
6 Rue René Goscinny, 93000 Bobigny, France
B&B Hotel Paris Romainville Noisy‑Le Sec
220 Avenue Gaston Roussel, 93230 Romainville, France
B&B Hotel Paris Saint‑Denis Pleyel
36 Boulevard de la Libération, 93200 Saint‑Denis, France
Campanile Paris Est – Bobigny
304 Avenue Paul‑Vaillant‑Couturier, 93000 Bobigny, France
Eurohotel Paris Nord
100‑102 Rue Gabriel Péri, 93200 Saint‑Denis, France
Hotel Moderne
4 bis Rue Gabriel Péri, 93200 Saint‑Denis, France
ibis Budget Marne‑la‑Vallée Noisy‑le‑Grand
9 Rue de l'Université, 93160 Noisy-le-Grand, France
ibis Marne la Vallée Noisy
4 Allée Bienvenue, 93160 Noisy-le-Grand, France
Ibis Paris Marne La Vallée
8 Boulevard Newton, Cité Descartes, 77420 Champs‑sur‑Marne, France
Ibis Paris Saint‑Denis Stade Sud
Rue de la Cokerie, 93210 La Plaine Saint‑Denis, France
Ibis Styles Bobigny Centre Préfecture
302 Avenue Paul‑Vaillant Couturier, 93000 Bobigny, France
Ibis Styles Paris Romainville
52 Avenue Gaston Roussel, 93230 Romainville, France
Kyriad Hotel
5 Rue du Ballon, ZI Les Richardets, 93160 Noisy-le-Grand, France
Novotel Marne la Vallée Noisy le Grand
2 Allée Bienvenue, 93160 Noisy-le-Grand, France
Novotel Paris Saint Denis Stade Basilique
1 Place de la Porte de Paris, 93200 Saint‑Denis, France