The International Journal of Foundations of Computer Science is an eight-issue journal that publishes articles which contribute new theoretical results in all areas of the foundations of computer science. The theoretical and mathematical aspects covered include:Algebraic theory of computing and formal systemsAlgorithm and system implementation issuesApproximation, probabilistic, and randomized algorithmsAutomata and formal languagesAutomated deductionCombinatorics and graph theoryComplexity theoryComputational biology and bioinformaticsCryptographyDatabase theoryData structuresDesign and analysis of algorithmsDNA computingFoundations of computer securityFoundations of high-performance computingLogic in computer scienceModel checking and computer-aided verificationModels of computationQuantum computingSemantics, concurrency, and type theoryTheories and models of internet computingTheory of learning and inductive inferenceTheory of parallel and distributed computingWireless networks and mobile computingAs computer science is an ever-evolving area, articles on other topics are also invited. The journal also aims to provide a forum for the communication and discussion of new fields needing more coverage and exposure, and thus hopes to publish new attempts and proposals for deepening the theoretical understanding of the nature of computation and information.Please submit your proposal for a special issue to the Editor-in-Chief.

《國際計算機科學基金會雜志》是一本八期期刊，發表的文章在計算機科學基金會的各個領域都有新的理論成果。涵蓋的理論和數學方面包括：計算和形式系統的代數理論算法和系統實現問題近似、概率和隨機算法自動機和形式語言自動扣除組合學和圖論復雜性理論計算生物學和生物信息學密碼學數據庫理論數據結構算法設計與分析DNA計算計算機安全基礎高性能計算基礎計算機科學中的邏輯模型檢查和計算機輔助驗證模型的計算量子計算語義、并發性和類型理論互聯網計算的理論和模型學習理論和歸納推理并行和分布式計算理論無線網絡和移動計算由于計算機科學是一個不斷發展的領域，我們也會邀請其他主題的文章。該期刊還旨在為需要更多報道和曝光的新領域提供一個交流和討論的論壇，從而希望發表新的嘗試和建議，加深對計算和信息本質的理論理解。請把你的特刊提案提交給總編。