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 |
|---|---|---|---|---|
| Jan 20 | CAV 2027 International Conference on Computer Aided Verification | Amsterdam, Netherlands | Jul 19-23 | A* |
| Feb 22 | CADE 2027 International Conference on Automated Deduction | Nijmegen, Netherlands | Aug 22-25 | A |
Upcoming Conferences
FSTTCS 2026
Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
B
VMCAI 2027
International Conference on Verification, Model Checking and Abstract Interpretation
B
CSL 2027
Annual Conference on Computer Science Logic
A*
LICS 2027
Symposium on Logic in Computer Science
A*
ICALP 2027
International Colloquium on Automata, Languages and Programming
A*
CAV 2027
International Conference on Computer Aided Verification
A
CADE 2027
International Conference on Automated Deduction
B
FSCD 2027
Conference on Formal Structures for Computation and Deduction