Home › Conferences › Theoretical Computer Science

📚 Theoretical Computer Science Conferences

2 conferences found

2 resultsAugust 2027 ×Clear all
All Subjects
Agricultural Sciences3Business & Economics73Computer Science & IT755Earth & Environmental Sciences44Engineering & Technology254Humanities & Arts68Life Sciences & Biology7Mathematics & Statistics5Medical & Health Sciences40Multidisciplinary523Physical Sciences22Social Sciences176
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
—