Call for Nominations: Editor-In-Chief Position - Formal Aspects of Computing

Call for Nominations
Editor-In-Chief
Formal Aspects of Computing

The term of the current Editor-in-Chief (EiC) of the journal Formal Aspects of Computing (FAC), published by ACM in collaboration with BCS, The Chartered Institute for IT, is coming to an end, and the ACM Publications Board and BCS have set up a nominating committee to assist in selecting the next EiC.

FAC is a Gold Open Access journal that bridges theory and practice in computing by publishing research with practical applicability. It welcomes new theoretical contributions motivated by real-world applications and novel applications of existing formalisms. The journal highlights the evolving role of formal methods, which, once widely adopted, are no longer seen as formal techniques but have significantly influenced computing practices, including specification notations, development methods, and tools. FAC aims to advance computing science, demonstrate its practical relevance, and explore relationships between different formal models. FAC was founded in 1989.

Nominations, including self-nominations, are invited for a three-year term as FAC EiC, beginning on July 1, 2025. The EiC appointment may be renewed at most one time. This is a voluntary position, but ACM will provide appropriate administrative support.

Appointed by the ACM Publications Board, Editors-in-Chief (EiCs) of ACM journals are delegated full responsibility for the journal's editorial management consistent with the journal's charter and general ACM policies. The Board relies on EiCs to ensure that the journal's content is of high quality and that the editorial review process is both timely and fair. They have the final say on the acceptance of papers, the Editorial Board size, and Associate Editors' appointment. The ACM Volunteer Editors Position Description contains a complete list of responsibilities. Self-nominations are encouraged and should include a CV and a statement of the candidate's vision for the future development of FAC.

The deadline for submitting nominations is April 30, 2025, although nominations will continue to be accepted until the position is filled. Please send all nominations to the search committee chair, Martin Leucker (leucker [at] isp.uni-luebeck.de).

The search committee members are:

• Martin Leucker (University of Lübeck), Chair
• Pedro D'Argenio (Universidad Nacional de Córdoba)
• Cliff Jones (Newcastle University), BCS representative
• Zhiming Liu (Southwest University)
• Annabelle McIver (Macquarie University)
• Alexandra Silva (Cornell University)
• SUN Jun (Singapore Management University)

The ACM Publications Board Liaison is Adelinde Uhrmacher (University of Rostock).