MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. The journal welcomes applications to computing based on the use of specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results. The journal will also accept contributions in new interdisciplinary fields bridging computer science, quantum physics, mathematics and information theory. In particular, papers on quantum information processing and communication, as well as on the related issues in quantum language design will be considered. The journal is also interested in papers on computational modelling of epigenetics phenomena, protein-protein interaction, stochasticity in molecular cascades. Mathematical approches to System Biology will be welcomed, within the broad frame of post-genomic views of embryogenesis and evolution.

《计算机科学中的数学结构》是一本理论计算机科学期刊，侧重于从数学结构和数学逻辑的角度将思想应用于计算机科学。杂志旨在桥之间的差距理论贡献和软件设计，发布一个高标准的原始论文和广泛调查与原始视角在各领域的计算，提供了思想或结果的逻辑，代数、几何、类别或其他领域的逻辑理论和数学形式的基础工作。该杂志欢迎应用计算的基础上使用特定的数学结构(如拓扑和顺序理论结构)，以及证明理论的概念或结果。该杂志还将接受在连接计算机科学、量子物理、数学和信息理论的新跨学科领域的贡献。特别是关于量子信息处理和通信以及量子语言设计相关问题的论文将被考虑。该杂志还对表观遗传学现象的计算模型、蛋白质-蛋白质相互作用、分子级联中的随机性等方面的论文感兴趣。在胚胎发生和进化的后基因组观的大框架内，将欢迎用数学方法研究系统生物学。