WorkWander.tech
WorkWander.tech

Proof Conferences

Upcoming proof 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

B
CPP 2027
International Conference on Certified Programs and Proofs
Mexico City, Mexico · Jan 11-12, 2027
B
CSL 2027
Annual Conference on Computer Science Logic
Brighton, UK · Jan 25-29, 2027
A*
CAV 2027
International Conference on Computer Aided Verification
Amsterdam, Netherlands · Jul 19-23, 2027
A
CADE 2027
International Conference on Automated Deduction
Nijmegen, Netherlands · Aug 22-25, 2027