# CSL — Conference on Computer Science Logic

- **Submission deadline**: 2026-07-08
- **Notification date**: 2026-10-15
- **Conference date**: 2027-01-25
- **Location**: Brighton, UK
- **Rankings**: CCF C · CORE B · QUALIS B1
- **Conference Partner Index**: 68.1/100 (ranked #356, confidence 0.80, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 5
- **Attendees**: 3
- **Canonical page**: https://www.myhuiban.com/conference/387

## Past editions

| Year | Deadline | Conference date | Location |
|---|---|---|---|
| 2026 | 2025-07-15 | 2026-02-23 | Paris, France |

## Call for papers

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/ It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2027 is the 35th edition of the conference and will be held in Brighton on 25-29 January 2027, organised by Matteo Acclavio and Giulio Guerrieri. Topics Topics of interest include, but are not limited to: Automata and games Automated deduction Category theory, categorical logic, and topological semantics Coalgebra Computability Concurrency and distributed computation Constructive mathematics Cyclic proofs Database theory Decision procedures Denotational semantics Description logics Domain theory Effects Equational logic and term rewriting Finite model theory First-order logic Formal methods Foundations of programming languages Game semantics Higher-order logic Interactive theorem proving Intersection types Knowledge representation and reasoning Lambda calculus and combinatory logic Linear logic Logic programming and constraints Logical aspects of AI Logical aspects of computational complexity Logical aspects of quantum computing Modal and temporal logic Model checking Nonmonotonic reasoning Probabilistic methods Program synthesis Proof theory Realizability Security and privacy Specification, extraction and transformation of programs Type systems Type theory Verification and program analysis

## Related conferences

- ICC — International Conference on Communications — https://www.myhuiban.com/conference/318
- IJCNN — International Joint Conference on Neural Networks — https://www.myhuiban.com/conference/428
- TrustCom — International Conference on Trust, Security and Privacy in Computing and Communications — https://www.myhuiban.com/conference/1289
- ICONIP — International Conference on Neural Information Processing — https://www.myhuiban.com/conference/437
- HPCC — International Conference on High Performance  Computing and  Communications — https://www.myhuiban.com/conference/232

## Related journals

- Journal of Logic, Language and Information — https://www.myhuiban.com/journal/507
- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Future Generation Computer Systems — https://www.myhuiban.com/journal/36
- Neurocomputing — https://www.myhuiban.com/journal/234
- Pattern Recognition Letters — https://www.myhuiban.com/journal/236

---
Source: Conference Partner — https://www.myhuiban.com/conference/387 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)