📚 Theoretical Computer Science Conferences
2 conferences found
Showing 1–2 of 2
Computer Science & IT· In PersonCCF BCORE A
CADE 2027: The Conference on Automated Deduction
Nijmegen, NetherlandsAug 22, 2027 – Aug 25, 2027
Deadline
Feb 22, 2027
120 days remaining
Computer Science & IT· In PersonCCF C
FSCD 2027: International Conference on Formal Structures for Computation and Deduction
Nijmegen, NetherlandsAug 23, 2027 – Aug 26, 2027
Deadline
—