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* |
Upcoming Conferences
FSTTCS 2026
Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
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