logo
computational applications of logic

컨퍼런스 결과 (2)

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 더 보기

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 더 보기