Logic Conferences
Upcoming logic conferences with venues, CFP deadlines, and hotel picks near each venue. Browse all conferences.
Open CFP Deadlines
| Deadline | Conference | Location | Dates | Rank |
|---|---|---|---|---|
| Jul 15 | CSL 2027 Annual Conference on Computer Science Logic | Brighton, UK | Jan 25-29 | B |
Upcoming Conferences
B
FSCD 2026
Conference on Formal Structures for Computation and Deduction
A
ICLP 2026
Conference on Logic Programming
A*
KR 2026
International Conference on Principles of Knowledge Representation and Reasoning
A*
LICS 2026
Symposium on Logic in Computer Science
A
SAT 2026
Conference on Theory and Applications of Satisfiability Testing
A*
CAV 2026
International Conference on Computer Aided Verification
A*
IJCAR 2026
International Joint Conference on Automated Reasoning
A
ITP 2026
Conference on Interactive Theorem Proving
B
CSL 2027
Annual Conference on Computer Science Logic