Journal profile · Computer Science, Software Engineering
Formal Aspects of Computing
ISSN 0934-5043 · eISSN 1433-299X · Springer London · UNITED STATES · Quarterly · Founded 1989
Formal Aspects of Computing: CAS Zone 3 · Computer Science (2025 upgraded edition); impact factor 0.87; hybrid open access; APC about USD 2,780; median 274 days to acceptance (57 articles, last 24 months); community-reported acceptance: easy; 33 articles in 2025; indexed in SCIE and Scopus; the journal's website says submissions are paused or closed.
The journal's website says submissions are paused or closed: Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites. Source ↗Publisher website ·
Scope
Aims, scope and focus
Formal Aspects of Computing is published by Springer London and is in Zone 3 of Computer Science in the CAS Journal Ranking (2025 upgraded edition). By OpenAlex counts of its recent articles, its largest topics are Formal Methods in Verification, Logic, programming, and type systems and Distributed systems and fault tolerance, together about 45.6% of its articles. Its main subfields are Artificial Intelligence and Software. (generated from OpenAlex topic counts and CAS ranking data)
The Formal Aspects of Computing Journal will be transferring to the Association for Computing Machinery (ACM) from 1st of January 2022. We invite authors and ...
From the journal's Aims & Scope
Research area (LetPub): Computer Science, Software Engineering
Main research topics OpenAlex counts of recent articles; shares are approximate
- Formal Methods in VerificationComputer Science23%
- Logic, programming, and type systemsComputer Science16.8%
- Distributed systems and fault toleranceComputer Science5.8%
- Logic, Reasoning, and KnowledgeComputer Science5.7%
- Model-Driven Software Engineering TechniquesComputer Science5.1%
- Software Testing and Debugging TechniquesComputer Science5%
- Advanced Software Engineering MethodologiesComputer Science4.9%
- Software Reliability and Analysis ResearchComputer Science3.6%
Rankings & indexing
CAS ranking and database indexing
CAS Journal Ranking
CAS Journal Ranking, upgraded edition (March 2025)Computer Science Zone 3
| Level | Category | Zone |
|---|---|---|
| Major | Computer Science | Zone 3 |
| Minor | Computer Science, Software Engineering | Zone 3 |
Top journal: noReview journal: no
CAS Xinrui Journal Ranking (March 2026)Computer Science Zone 4
| Level | Category | Zone |
|---|---|---|
| Major | Computer Science | Zone 4 |
| Minor | Computer Science, Software Engineering | Zone 4 |
Top journal: noReview journal: not marked
CAS Journal Ranking, previous upgraded edition (December 2023)Computer Science Zone 4
| Level | Category | Zone |
|---|---|---|
| Major | Computer Science | Zone 4 |
| Minor | Computer Science, Software Engineering | Zone 4 |
Top journal: noReview journal: no
Database indexing
SCIEScopusLetPub
International journal early-warning lists: not listed in any editionLetPub
Editions, and major and minor categories, are shown separately and never merged into one zone; check which edition your institution uses before you submit or report.
Metrics
Impact metrics and publication volume
Impact
- Impact factor
- 0.87LetPub ·
- CiteScore 2026-06
- 2.8LetPub ·
- SJR 2026-06
- 0.32LetPub ·
- SNIP 2026-06
- 0.81LetPub ·
- h-index
- 36LetPub ·
- h-index
- 66OpenAlex ·
- i10-index
- 518OpenAlex ·
- 2-year mean citedness
- 12.55OpenAlex ·
- Self-citation rate
- 9.1%LetPub ·
- Share of gold OA articles
- 30.43%LetPub ·
Volume
- Articles per year
- 24LetPub ·
Articles by year OpenAlex count · 1,247 in total · the current year is incomplete
| Year | Articles | Open access | Citations |
|---|---|---|---|
| 2026 | 28 | 22 | 1,024 |
| 2025 | 33 | 25 | 23 |
| 2024 | 35 | 28 | 158 |
| 2023 | 22 | 21 | 78 |
| 2022 | 26 | 24 | 390 |
| 2021 | 43 | 39 | 366 |
Sources count differently and were observed at different times, so each source's own value is kept; "publisher" marks figures from the journal's website.
Review & acceptance
Review time and acceptance
Review time from article dates manuscript dates registered with Crossref · to
274 daysMedian, submission to acceptance · P25–P75 145 days – 382 days
- Acceptance to online
- median 121 days (57 articles)
- Submission to online
- median 419 days
- Sample
- 57 articles with submission and acceptance dates (87 in the window); the latest was accepted on
Only articles that were accepted and published are counted, not the time spent on rejected manuscripts, so this usually runs longer than a publisher's "time to first decision".
Other sources
- Average review time (community reports)
- over 12 weeksLetPub ·
- Average acceptance (community reports)
- EasyLetPub ·
Community reports come from authors' own submissions (confidence 0.5) and are not a promise from the journal; for publisher figures, the journal's own definitions apply.
Fees & open access
APC and open-access policy
Hybrid open accessLetPub
A subscription journal in which authors can pay to publish their article open access.
| Source | APC | Fee waiver | License | Observed |
|---|---|---|---|---|
| OpenAlex | USD 2,780 / EUR 2,190 / GBP 1,890 | — | — |
A hybrid journal charges the APC only when the author chooses open access; publishing under the subscription model is usually free.
The journal's website is authoritative for fees; sources were observed at different times and each keeps its own value, without averaging.
Submission
Article types and submission policies (journal website)
Policy excerpts from the journal's websitePeer review
- Peer review
Journal archived; no longer receiving submissions with this publisher Model summary
Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher.
Source ↗Publisher website ·
Excerpts are quoted from the journal's website; "model summary" lines are written by Workers AI and checked against the text. The journal's website is authoritative.
Profile
Publication details and official links
- Publisher
- Springer London
- Country or region
- UNITED STATES
- Language
- English
- Frequency
- Quarterly
- Founded
- 1989
- ISSN
- 0934-5043
- Electronic ISSN
- 1433-299X
- Official links
- Journal homepage ↗OpenAlex
- Submission system ↗LetPub
FAQ
Frequently asked questions about Formal Aspects of Computing
What CAS zone is Formal Aspects of Computing in?
In the 2025 upgraded edition of the CAS Journal Ranking, Formal Aspects of Computing is in Zone 3 of Computer Science, and in Zone 3 of the minor category Computer Science, Software Engineering. In the 2026 Xinrui edition it is in Zone 4 of Computer Science. Zones from different editions, and from major and minor categories, are not interchangeable.
What is the impact factor of Formal Aspects of Computing?
The latest impact factor listed by LetPub is 0.87; CiteScore 2.8, h-index 66.
How long does peer review take at Formal Aspects of Computing?
Based on the dates recorded on 57 articles published between October 2024 and October 2026 (the last 24 months), the median time from submission to acceptance is 274 days (interquartile range 145–382 days); authors report an average review time of over 12 weeks; the community-reported acceptance is “Easy”. Article statistics cover accepted papers only, publisher figures follow the journal's own definitions, and community reports come from authors' own submissions; none is a promise from the journal.
Which databases index Formal Aspects of Computing?
According to LetPub and DOAJ records, Formal Aspects of Computing is indexed in SCIE and Scopus.
Is Formal Aspects of Computing open access, and what is the APC?
Formal Aspects of Computing is a hybrid journal. For open-access publication: APC about USD 2,780.
Sources and updates
The facts on this page come from LetPub, OpenAlex, Publisher website; every figure is tagged with its source and the date it was observed, and conflicting values are kept per source. LetPub source page: view ↗ (archived 2026-08-25). Last updated: .