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 歸一化分類體系”，把每篇論文都劃分到一個主題，和傳統情況下的期刊屬于什么學科，論文就屬于什么學科的分類有很大差別。

問題四：我們選刊的時候該刊哪個分區?

其實兩種分區方式都比較權威，主要取決于您的單位更認可哪種。