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

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.