Publishing policies

Editorial definition

• Title: Annals of Formalized Mathematics
• Year of creation: 2024
• Periodicity: One number per year, papers appearing as soon as they are accepted. The publication order of manuscripts respects the acceptance date.
• Publisher: MathOA
• Director of publication: Jos Baeten
• eISSN: pending

Publication costs

There is no charge to publish in the journal or to access published papers.

Copyright and distribution policy

• Diamond Open Access
• Creative Commons - Attribution - CC-BY 4.0

Self-archiving policy

• Rights holder to published version: Authors
• License: CC-BY
• Conditions: The original publication in the journal must be cited.

Review process

The evaluation process is based on single peer review (only the authors’ names are known).

Copyright

Authors of accepted manuscripts are required to sign this non-exclusive copyright transfer to the journal.

Further versions and additions

In case of additions to a published paper, the authors retain the right of publishing new versions of the paper on the chosen open repository hosting the published version but no modification will be possible on the journal's website, nor will the journal include links to new versions or comments explaining the potential improvements. This clause does not concern corrections of serious mistakes, that are discussed in the Retraction policy section below.

Originality

Authors guarantee that their proposed article is original, has not been published previously, and is not simultaneously submitted to any other journal.

Conflicts of interest

Authors shall disclose any potential conflict of interest, whether it is professional, financial or other, at the moment of submission, if this conflict could be interpreted as having influenced their work. Any editor encountering a conflict of interest with a submission will be blinded from the editorial workflow for that submission. Authors shall declare all sources of funding for the research presented in the article.

Impartiality

All articles are examined impartially, and their merits are assessed regardless of the sex, religion, sexual orientation, nationality, ethnic origin, length of service or institutional affiliation of the author(s).

Defamatory statements

Authors guarantee that their proposed article contains no matter of a defamatory, hateful, fraudulent or knowingly inexact character.

References

Authors guarantee that all the publications used in their work have been cited appropriately.

Retraction policy

All manuscripts whose retraction is required by the author are clearly marked as being withdrawn, and the journal publishes errata of all significant mistakes identified by the authors of a published paper. The editorial board retains the right of assessing the effective need of a specific erratum to avoid that typographical, grammatical or similar minor details trigger editorial actions. In all cases efforts are made to provide a prompt and precise update of the relevant metadata, and the original manuscript remains available on the journal's webpage, clearly expressing that either it must be considered as being withdrawn or that an erratum has been published, according to the circumstances.