理論計算機科学
ヨーロッパ理論計算機科学会(英語版)
ACM SIGACT(英語版)