Fundamenta Informaticae

期刊简介：Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer science. Papers are encouraged contributing:solutions by mathematical methods of problems emerging in computer sciencesolutions of mathematical problems inspired by computer science.Topics of interest include (but are not restricted to):theory of computing,complexity theory,algorithms and data structures,computational aspects of combinatorics and graph theory,programming language theory,theoretical aspects of programming languages,computer-aided verification,computer science logic,database theory,logic programming,automated deduction,formal languages and automata theory,concurrency and distributed computing,cryptography and security,theoretical issues in artificial intelligence,machine learning,pattern recognition,algorithmic game theory,bioinformatics and computational biology,quantum computing,probabilistic methods,algebraic and categorical methods.

【译文】Fundamenta Informaticae是一本国际期刊，发表关于理论计算机科学所有领域的原创研究成果。鼓励通过数学方法解决计算机科学中出现的问题，以及受计算机科学启发的数学问题。感兴趣的主题包括（但不限于）：计算理论、复杂性理论、算法和数据结构、组合数学和图论的计算方面、程序设计语言理论、程序设计语言的理论方面、计算机辅助验证、计算机科学逻辑、数据库理论、逻辑编程、自动推理、形式语言和自动机理论、并发和分布式计算、密码学和安全性、人工智能的理论问题、机器学习、模式识别、算法博弈论、生物信息学和计算生物学、量子计算、概率方法、代数和范畴方法。