Instructions for authors

The Annals of Formalized Mathematics is an overlay journal and its publishing model is aligned to that of the other journals published by EPIsciences.

Preparing your manuscript

  • All AFM submissions must correspond to a formal artifact and papers should discuss connnections between informal text and formal statements in the artifact. At least the main result(s) must explicitly link to specific code in the artifact.
  • We are aware that code artifacts can take several different forms and we do not strictly require that submissions contain files extracted from your artifact. What is expected is that such artifact exists and is properly referenced in the manuscript.
  • The use of in-text code blocks should be limited to situations in which the code complements the text. We expect reviewers and interested readers to look at code artifacts alongside papers; it is not necessary to reproduce a substantial part of the code artifact in the paper itself. 
  • Currently, we do not publicly provide our official style file, so please submit papers using your prefered class.
  • Different provers have infrastructure available for typing code in LaTeX: feel free to use any package that is standard for your community.

Submission procedure

  1. Authors are required to first deposit their manuscript in an open archive: AFM accepts submissions from HAL, arXiv and Zenodo. We expect manuscripts submitted to the journal to be accompaigned by code artifacts that must themselves be open source and accessible to the referees.
  2. To submit the manuscript to the journal, authors whose deposit is on HAL can proceed as explained here. Others must create an account on the Episciences platform (unless they already have one) and then proceed to the submission page. Some repositories allow submissions of many file types; please make sure that the pdf of your manuscript is not contained in a zip archive. At this stage authors can suggest a handling editor for their submission. 
  3. The manuscript will undergo a single-blind review process, and the authors retain the rights of updating each version on the free repository along the process.
  4. If the paper is accepted, following our typesetting and copyediting procedure, the authors will upload it as a new version to the original open archive. This version will be published on the AFM's website.
  5. Alongside the reference of the final AFM-formatted version deposited on the free repository of choice, authors are invited to provide a permanent Software Heritage persistent ID (SWHID) of the repository containing their code. As Software Heritage regularly crawls open code repositories, chances are that their code already has a SWHID, that can be checked here: if not, they can request one.
  6. For more details concerning further versioning beyond acceptance and retraction policies, we refer to the relevant parts in the Publishing policies section.