logo
computational applications of logic

Kết quả hội nghị (2)

IEEE Symposium on Foundations of Computer Science (FOCS)

Rank: A*Offline
Sydney, Australia
Dec 14, 2025 - Dec 17, 2025
theory of computationalgorithmic coding theoryalgebraic computation+32 thêm

ACM Symposium on Theory of Computing (STOC)

Rank: A*Offline
Prague, Czech Republic
Jun 23, 2025 - Jun 27, 2025
Algorithms and data structurescomputational complexityrandomness in computing+19 thêm