Journal of Formalized Reasoning

Aims & Scope

The journal is meant to become the natural target for research papers describing significant, automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics formal algorithms, and program verification.

The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process.

In particular, the journal provides a forum for comparing alternative approaches, enhance reusability of solutions and provide a clear view of the current state of the field.

Although outside the scope of the journal, it will also help to better understand the requirements for automatic and interactive tools supporting the formalization effort, becoming a major vehicle for their diffusion and enhancement.

The journal encourages the submission of interesting, insightful, and informative papers, preferably accompanied by formal scripts.

Although the journal is not meant to become a repository for proof scripts, an effort will be made to ensure that the "experimental data" backing formalisation papers will remain accessible.

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Directory of Open Access Journals (DOAJ)

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science and Mathematics, designed to support cutting-edge academic discovery.

Licensing & Copyright

This journal operates under an Open Access model. Articles are freely accessible to the public immediately upon publication. The content is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0), allowing users to share and adapt the work with proper attribution.

Copyright remains with the author(s), and no permission is required for non-commercial use, provided the original source is cited.

Policy Links

This section provides access to essential policy documents, guidelines, and resources related to the journal’s publication and submission processes.

• Aims scope
• Homepage
• Oa statement
• Author instructions
• License terms
• Review url
• Board url
• Copyright url
• Preservation url
• Apc url