FORMAL ASPECTS OF COMPUTING杂志是中科院4区。
该刊的中文名《计算的形式方面》，创刊于1981年，年发文量在38篇，依据往期投稿者经验反馈，该刊的审稿速度是>12周，或约稿，录用比例是容易需要投稿该刊的可以提前进行安排。
这本杂志的目的是在理论和实践的结合点发表论文。目的是传播适用研究。因此，新的理论贡献在潜在应用的激励下是受欢迎的；如果现有形式的应用在方法或应用方面显示出一些新的东西，那么它们就会受到关注。术语“形式方法”已应用于一系列符号、理论和工具。毫无疑问，其中一些已经对计算的实际应用产生了重大影响。事实上，有趣的是，一旦一些东西被采用到实际应用中，它就不再被认为是一种正式的方法。除了广泛使用的符号（如语法符号和状态机符号）之外，规范符号、开发方法和工具在证明一般结果和搜索特定条件方面也有着重要的应用。然而，正式方法最深刻和持久的影响是它如何阐明基本概念，如沟通概念。本着这种精神，这本杂志的主要目的是促进计算科学的发展，展示其与实践的关系，并刺激应用恰当的形式主义到实际问题。一个重要的挑战是展示一系列正式模型如何相互关联。作者请注意：在提交论文之前，作者需要联系适当的编辑委员会成员，并确定他/她愿意并且能够及时处理您的提交。您可以在期刊主页的“编辑委员会”选项卡下找到编辑委员会成员及其电子邮件地址的列表。一旦你提交了你的论文，系统会要求你在提交之前提供编辑的名字。
FORMAL ASPECTS OF COMPUTING中科院分区基础版：
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 4区 | 否 | 否 |
FORMAL ASPECTS OF COMPUTING中科院分区升级版：
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程 | 3区 | 否 | 否 |
拓展阅读：
问题一：什么是中科院分区?
由于不同学科之间的SCI期刊很难进行比较和评价，中国科学院国家科学图书馆世界科学前沿分析中心(原中国科学院文献情报中心)，对目前SCI核心库加上扩展库期刊的影响力等因素，以年度和学科为单位，对SCI期刊进行4个等级的划分。一般而言，发表在1区和2区的SCI论文，通常被认为是该学科领域的比较重要的成果。期刊分区表自2004年发布，延续至今;2019年推出升级版，实现基础版、升级版并存过渡，2022年只发布升级版。2004年至2023年《期刊分区表》数据每年底发布，从2025年开始改为年初发布。
问题二：什么是中科院分区基础版
将JCR中所有期刊分为数学、物理、化学、生物、地学、天文、工程技术、医学、环境科学、农林科学、社会科学、管理科学及综合性期刊13 大类。每个学科分类按照期刊的3年平均影响因子高低，分为4四个区，呈金字塔状分布：前5%为一区，6%~20%为二区，21%~50%为三区，后50%为四区。
问题三：中科院分区升级版
2022年开始，中科院开始只发布分区表升级版，升级版作了两方面升级：
(1)评价指标上，采用“期刊超越指数”替代传统的影响因子，突破均值指标的瓶颈，更客观、更全面地反映期刊整体水平，解决了学科差异、文献类型差异、偏态分布等问题。
“期刊超越指数”的计算方法：从期刊A选择的任一论文，其引用数大于从其它期刊选择的一篇相同主题、相同文献类型论文的引用数的概率。
(2)学科分类上，采用“Paper-level 归一化分类体系”，把每篇论文都划分到一个主题，和传统情况下的期刊属于什么学科，论文就属于什么学科的分类有很大差别。
问题四：我们选刊的时候该刊哪个分区?
其实两种分区方式都比较权威，主要取决于您的单位更认可哪种。