Aims and Scope
Formal Aspects of Computing (FAOC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170. Less
Key Metrics
Journal Specifications
Indexed in the following public directories
Web of Science
Inspec
SJR
- PublisherASSOC COMPUTING MACHINERY
- LanguageEnglish
- FrequencyQuarterly
- LanguageEnglish
- FrequencyQuarterly
- Publication Start Year1989
- Publisher URL
- Website URL
Topics Covered
Year-wise Publication
- 5Y
- 10Y
FAQs
Since when has Formal Aspects of Computing been publishing? 
The Formal Aspects of Computing has been publishing since 1989 till date.
How frequently is the Formal Aspects of Computing published? 
Formal Aspects of Computing is published Quarterly.
What is the H-index. SNIP score, Citescore and SJR of Formal Aspects of Computing? 
Formal Aspects of Computing has a H-index score of 43, Citescore of 2.6, SNIP score of 1.19, & SJR of Q2
Who is the publisher of Formal Aspects of Computing? 
The publisher of Formal Aspects of Computing is ASSOC COMPUTING MACHINERY.
Where can I find a journal's aims and scope of Formal Aspects of Computing? 
For the Formal Aspects of Computing's Aims and Scope, please refer to the section above on the page.
How can I view the journal metrics of Formal Aspects of Computing on editage? 
For the Formal Aspects of Computing metrics, please refer to the section above on the page.
What is the eISSN and pISSN number of Formal Aspects of Computing? 
The eISSN number is 1433-299X and pISSN number is 0934-5043 for Formal Aspects of Computing.
What is the focus of this journal? 
The journal covers a wide range of topics inlcuding Programming, Quantum error correction, Kalman filter, Symbolic execution, Linear temporal logic, Model checking, Semantic information, Machine learning, Denotational semantics, Information flow.
Why is it important to find the right journal for my research? 
Choosing the right journal ensures that your research reaches the most relevant audience, thereby maximizing its scholarly impact and contribution to the field.
Can the choice of journal affect my academic career? 
Absolutely. Publishing in reputable journals can enhance your academic profile, making you more competitive for grants, tenure, and other professional opportunities.
Is it advisable to target high-impact journals only? 
While high-impact journals offer greater visibility, they are often highly competitive. It's essential to balance the journal's impact factor with the likelihood of your work being accepted.