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

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.