Formal Aspects of Computing
Last updated ISSN 0934-5043
Formal Aspects of Computing is published by Springer Science+Business Media in computer science. It is a subscription journal. The article processing charge is $2,780.
Is your paper a fit?
The surest way to know is to compare your own abstract against what this journal has actually been publishing, rather than against its aims-and-scope page. Paste your abstract and Journal Hunt will tell you how close Formal Aspects of Computing is — and show you journals like it.
What it publishes
Recent work in Formal Aspects of Computing concentrates on these topics, taken from its published record rather than from its own description:
- Formal Methods in Verification
- Logic, programming, and type systems
- Distributed systems and fault tolerance
- Logic, Reasoning, and Knowledge
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Advanced Software Engineering Methodologies
- Software Reliability and Analysis Research
- Security and Verification in Computing
- Petri Nets in System Modeling
Key facts
| Publisher | Springer Science+Business Media |
|---|---|
| ISSN | 0934-5043, 1433-299X |
| Subject area | Computer Science |
| Access | Subscription |
| Article processing charge | $2,780 |
| Indexed in | Web of Science — Science Citation Index Expanded · Scopus |
| Articles published | 1,247 |
| Publishing since | 1975 |
| Journal website | www.springer.com/journal/00165/ |
Facts come from OpenAlex, DOAJ and Wikidata and may lag the journal’s own pages. Check the publisher’s site before submitting. Indexing shown here is what is recorded, not a complete picture — about a third of journals have no indexing recorded anywhere we can read, so “not recorded” does not mean a journal is absent from Scopus or Web of Science.
Journals like Formal Aspects of Computing
Other established journals in computer science, if this one is not the right home for your paper: