万维提示：
1、投稿方式：在线投稿。
2、期刊网址：https://www.springer.com/journal/165
3、投稿网址：https://www.editorialmanager.com/faoc/
4、官网邮箱：jim.woodcock@york.ac.uk（主编）
（更多编辑邮箱请查看期刊官网信息）
5、期刊刊期：双月刊，一年出版6期。
2021年11月16日星期二
投稿须知【官网信息】
Formal Aspects of Computing
Submission guidelines
Instructions for Authors
Manuscript submission
How to submit your manuscript
Please prepare your manuscript following the detailed Instructions for Authors for this journal which can be found below.
Online submission via Editorial Manager
Manuscripts must be submitted electronically via Editorial Manager using the “Submit Online” tab on the right of the journal homepage.
Before submitting a paper, authors are asked to contact an appropriate Editorial Board member and ascertain that he/she is willing and able to process your submission in a timely fashion. You can find the list of Editorial Board members and their email addresses under the “Editorial Board” tab on the journal homepage or via the link below.
Once you have submitted your paper you will be asked, by the system, to supply the Editor’s name before your submission will be processed.
Electronic submission substantially reduces the editorial processing and reviewing times and shortens overall publication times.
Editorial Board
Title Page
Please make sure your title page contains the following information.
Title
The title should be concise and informative.
Author information
The name(s) of the author(s)
The affiliation(s) of the author(s), i.e. institution, (department), city, (state), country
A clear indication and an active e-mail address of the corresponding author
If available, the 16-digit ORCID of the author(s)
If address information is provided with the affiliation(s) it will also be published.
For authors that are (temporarily) unaffiliated we will only capture their city and country of residence, not their e-mail address unless specifically requested.
Abstract
Please provide an abstract of 150 to 250 words. The abstract should not contain any undefined abbreviations or unspecified references.
For life science journals only (when applicable)
Trial registration number and date of registration for prospectively registered trials
Trial registration number and date of registration, followed by “retrospectively registered”, for retrospectively registered trials
Keywords
Please provide 4 to 6 keywords which can be used for indexing purposes.
Statements and Declarations
The following statements should be included under the heading "Statements and Declarations" for inclusion in the published paper. Please note that submissions that do not include relevant declarations will be returned as incomplete.
Competing Interests: Authors are required to disclose financial or non-financial interests that are directly or indirectly related to the work submitted for publication. Please refer to “Competing Interests and Funding” below for more information on how to complete this section.
Please see the relevant sections in the submission guidelines for further information as well as various examples of wording. Please revise/customize the sample statements according to your own needs.
Ethical Responsibilities of Authors
This journal is committed to upholding the integrity of the scientific record. As a member of the Committee on Publication Ethics (COPE) the journal will follow the COPE guidelines on how to deal with potential acts of misconduct.
Authors should refrain from misrepresenting research results which could damage the trust in the journal, the professionalism of scientific authorship, and ultimately the entire scientific endeavour. Maintaining integrity of the research and its presentation is helped by following the rules of good scientific practice, which include*:
The manuscript should not be submitted to more than one journal for simultaneous consideration.
The submitted work should be original and should not have been published elsewhere in any form or language (partially or in full), unless the new work concerns an expansion of previous work. (Please provide transparency on the re-use of material to avoid the concerns about text-recycling (‘self-plagiarism’).
A single study should not be split up into several parts to increase the quantity of submissions and submitted to various journals or to one journal over time (i.e. ‘salami-slicing/publishing’).
Concurrent or secondary publication is sometimes justifiable, provided certain conditions are met. Examples include: translations or a manuscript that is intended for a different group of readers.
Results should be presented clearly, honestly, and without fabrication, falsification or inappropriate data manipulation (including image based manipulation). Authors should adhere to discipline-specific rules for acquiring, selecting and processing data.
No data, text, or theories by others are presented as if they were the author’s own (‘plagiarism’). Proper acknowledgements to other works must be given (this includes material that is closely copied (near verbatim), summarized and/or paraphrased), quotation marks (to indicate words taken from another source) are used for verbatim copying of material, and permissions secured for material that is copyrighted.
Important note: the journal may use software to screen for plagiarism.
Authors should make sure they have permissions for the use of software, questionnaires/(web) surveys and scales in their studies (if appropriate).
Research articles and non-research articles (e.g. Opinion, Review, and Commentary articles) must cite appropriate and relevant literature in support of the claims made. Excessive and inappropriate self-citation or coordinated efforts among several authors to collectively self-cite is strongly discouraged.
Authors should avoid untrue statements about an entity (who can be an individual person or a company) or descriptions of their behavior or actions that could potentially be seen as personal attacks or allegations about that person.
Research that may be misapplied to pose a threat to public health or national security should be clearly identified in the manuscript (e.g. dual use of research). Examples include creation of harmful consequences of biological agents or toxins, disruption of immunity of vaccines, unusual hazards in the use of chemicals, weaponization of research/technology (amongst others).
Authors are strongly advised to ensure the author group, the Corresponding Author, and the order of authors are all correct at submission. Adding and/or deleting authors during the revision stages is generally not permitted, but in some cases may be warranted. Reasons for changes in authorship should be explained in detail. Please note that changes to authorship cannot be made after acceptance of a manuscript.
*All of the above are guidelines and authors need to make sure to respect third parties rights such as copyright and/or moral rights.
Upon request authors should be prepared to send relevant documentation or data in order to verify the validity of the results presented. This could be in the form of raw data, samples, records, etc. Sensitive information in the form of confidential or proprietary data is excluded.
If there is suspicion of misbehavior or alleged fraud the Journal and/or Publisher will carry out an investigation following COPE guidelines. If, after investigation, there are valid concerns, the author(s) concerned will be contacted under their given e-mail address and given an opportunity to address the issue. Depending on the situation, this may result in the Journal’s and/or Publisher’s implementation of the following measures, including, but not limited to:
If the manuscript is still under consideration, it may be rejected and returned to the author.
If the article has already been published online, depending on the nature and severity of the infraction:
- an erratum/correction may be placed with the article
- an expression of concern may be placed with the article
- or in severe cases retraction of the article may occur.
The reason will be given in the published erratum/correction, expression of concern or retraction note. Please note that retraction means that the article is maintained on the platform, watermarked “retracted” and the explanation for the retraction is provided in a note linked to the watermarked article.
The author’s institution may be informed
A notice of suspected transgression of ethical standards in the peer review system may be included as part of the author’s and article’s bibliographic record.
Fundamental errors
Authors have an obligation to correct mistakes once they discover a significant error or inaccuracy in their published article. The author(s) is/are requested to contact the journal and explain in what sense the error is impacting the article. A decision on how to correct the literature will depend on the nature of the error. This may be a correction or retraction. The retraction note should provide transparency which parts of the article are impacted by the error.
……
更多详情：
https://www.springer.com/journal/165/submission-guidelines
