The Association for Computing Machinery (ACM) and BCS, The Chartered Institute for IT (BCS) have entered into a long-term co-publishing agreement for the influential BCS journal Formal Aspects of Computing. Effective January 1, 2022, the journal will be published by ACM as a fully Gold Open Access journal, with all published articles in the Journal, including the complete archive of previously published articles dating back to 1989, being Open Access in the ACM Digital Library.
Currently published by Springer Nature for BCS, Formal Aspects of Computing welcomes new theoretical contributions where they are motivated by potential application, and applications of formalisms, where they show something novel about their approach or application.
The scope of Formal Aspects of Computing includes well-founded notations for the description of systems, verifiable design methods, elucidation of fundamental computational concepts, approaches to fault-tolerant design, theorem-proving support, state-exploration tools, formal underpinning of widely used notations and methods, formal approaches to requirements analysis, and history of formal methods.
An important goal of the new ACM/BCS partnership is to broaden both the editorial scope of the journal and the journal’s international reach.
ACM publishes more than 60 scholarly peer-reviewed journals in dozens of computing and information technology disciplines. Available in print and online, ACM's high-impact, peer-reviewed journals constitute a vast and comprehensive archive of computing innovation, covering emerging and established computing research for both practical and theoretical applications. ACM journal editors are thought leaders in their fields, and ACM's emphasis on rapid publication ensures minimal delay in communicating exciting new ideas and discoveries.
ACM’s transition to Open Access is driven by the rapid growth of the ACM OPEN model. Since its launch in late January 2020, more than 140 institutions worldwide have committed to the ACM OPEN license model. The newly signed agreement with BCS continues ACM’s collaborative efforts toward becoming a sustainable, fully Open Access research publisher for the computing community.
Click here to read the original press release.
