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 更多