Formal Aspects of Computing journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.
Journal Home:  Journal Homepage
Editor-in-Chief:  James Woodcock
scope: This journal aims to publish contributions at the junction of theory and practice.The objective is to disseminate applicable research.Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.
Print ISSN:  0934-5043
Electronic ISSN:  1433-299X
Abstracting and Indexing:  Science Citation Index Expanded. Scopus.
Imapct Factor 2021:  0.886
Subject Area and Category:  Computer Sciences, Mathematics
Publication Frequency:  Quarterly
H Index:   42
Q1:  
Q2:  
Q3:  Theoretical Computer Science
Q4:  
Cite Score:  2.6
SNIP:   1.191
Journal Rank(SJR):  0.508
Latest Articles:   Latest Articles in Formal Aspects of Computing
Guidelines for Authors: Formal Aspects of Computing Author Guidelines
Paper Submissions: Paper Submissions in Formal Aspects of Computing
Publisher:  Springer
Country:  USA