Journal profile · MATHEMATICS
Journal of Formalized Reasoning
ISSN 1972-5787 · University of Bologna · Italy
Journal of Formalized Reasoning: fully open access; no APC; review about 25 weeks (community reports); indexed in Scopus; flagged on an early-warning list or for an indexing change: check before submitting.
The latest issue on the journal's website is from 2020 (Volume 13, Issue 1): the journal may have stopped publishing or moved platform in the last two years. Check its website before submitting.
Scope
Aims, scope and focus
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.
From the journal's Aims & Scope
Research area (LetPub): MATHEMATICS
Editorial board by country: none in mainland China; most named United States 5, France 3, United Kingdom 2, Italy 2, Netherlands 2 (16 members with a country) Editorial board ↗Publisher website ·
Rankings & indexing
CAS ranking and database indexing
CAS Journal Ranking
CAS Journal Ranking, upgraded edition (March 2025)Not covered
Not covered by this edition.
CAS Xinrui Journal Ranking (March 2026)Not covered
Not covered by this edition.
CAS Journal Ranking, previous upgraded edition (December 2023)Not covered
Not covered by this edition.
CiteScore quartiles (Scopus, June 2026 release)
| Subject | Quartile | Rank | Percentile |
|---|---|---|---|
| General Mathematics | Q2 | 126/391 | — |
| Computer Science (miscellaneous) | Q3 | 56/90 | — |
Scopus ranks journals by CiteScore within each subject: the 75th percentile and above is Q1, then a quartile every 25 points. A different system from the CAS zones.LetPub
Database indexing
ScopusLetPub
Early warning / risk: Removed from ESCI for production reasons on 20 September 2023. CAS Early Warning Journal List: not listed in any of 6 editions.LetPub
Indexing the journal's website claims
MathSciNetDBLPDOAJPublisher website
Other: Google Scholar
As the journal's website lists them, not checked against each database; for Web of Science editions the records above apply.
Editions, and major and minor categories, are shown separately and never merged into one zone; check which edition your institution uses before you submit or report.
Metrics
Impact metrics and publication volume
Impact
- CiteScore 2026-06
- 1.7LetPub ·
- SJR 2026-06
- 0.11LetPub ·
- SNIP 2026-06
- 0.48LetPub ·
- h-index
- 0OpenAlex ·
- i10-index
- 0OpenAlex ·
- 2-year mean citedness
- 0OpenAlex ·
- Share of gold OA articles
- 0%LetPub ·
Sources count differently and were observed at different times, so each source's own value is kept; "publisher" marks figures from the journal's website.
Review & acceptance
Review time and acceptance
- Average review time (community reports)
- about 25 weeksLetPub ·
- Peer review
- Anonymous peer reviewLetPub
Community reports come from authors' own submissions (confidence 0.5) and are not a promise from the journal; for publisher figures, the journal's own definitions apply.
Fees & open access
APC and open-access policy
Fully open accessOpenAlex
Every article is open access; authors usually pay an article processing charge (APC).
| Source | APC | Fee waiver | License | Observed |
|---|---|---|---|---|
| LetPub | No APC | No | — |
The journal's website is authoritative for fees; sources were observed at different times and each keeps its own value, without averaging.
Submission
Article types and submission policies (journal website)
Policy excerpts from the journal's websitePublication ethics, License & copyright, Open access, Peer review
- Publication ethics Quality Control, Publication Ethics and Publication malpractice
The following statement is inspired by COPE Code of Conduct. http://publicationethics.org/files/Code_of_conduct_for_journal_editors.pdf The journal is under review for membership in COPE. Journal editors Editors have a duty to act if they suspect misconduct or if an allegation of misconduct is brought to them. This duty extends to both published and unpublished papers. Editors have a system for ma…
Source ↗Publisher website ·- License & copyright Copyright Notice
Copyrights and publishing rights of all the texts on this journal belong to the respective authors without restrictions. This journal is licensed under a Creative Commons Attribution 3.0 Unported License (full legal code). See also our Open Access policy
Source ↗Publisher website ·- Open access Open Access Policy
This journal provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge. It releases its articles under the terms of Creative Commons Attribution 3.0 (CC-BY 3.0). This license allows anyone to download, reuse, re-print, modify, distribute and/or copy the contributions. The works must be properly…
Source ↗Publisher website ·- Peer review Peer Review Process
All papers are subjected to peer review. When JFR editorial board receives a new article, the peer review process will be developed as follows: The editorial board communicates to the author that the article has been received. The editors make an initial assessment of the article according to the following criteria: relevance of the topic; overall quality of the contribution according to the stand…
Source ↗Publisher website ·
Excerpts are quoted from the journal's website; "model summary" lines are written by Workers AI and checked against the text. The journal's website is authoritative.
Profile
Publication details and official links
- Publisher
- University of Bologna
- Country or region
- Italy
- Language
- English
- ISSN
- 1972-5787
- Latest issue on the website
- Volume 13, Issue 1 (2020)
- Official links
- Journal homepage ↗LetPub
- Author guidelines ↗LetPub
- Aims & Scope ↗LetPub
- Peer review process ↗LetPub
- Editorial board ↗LetPub
FAQ
Frequently asked questions about Journal of Formalized Reasoning
How long does peer review take at Journal of Formalized Reasoning?
Authors report an average review time of about 25 weeks. Article statistics cover accepted papers only, publisher figures follow the journal's own definitions, and community reports come from authors' own submissions; none is a promise from the journal.
Where are the editorial board members of Journal of Formalized Reasoning based?
Of the 16 board members whose country the journal's board page names, none are in mainland China; the countries named most often are United States (5), France (3) and United Kingdom (2). Counted from the institutions listed on the board page; for reference only.
Which databases index Journal of Formalized Reasoning?
According to LetPub and DOAJ records, Journal of Formalized Reasoning is indexed in Scopus. The journal's website also lists MathSciNet, DBLP and DOAJ; that list has not been checked against each database.
Is Journal of Formalized Reasoning open access, and what is the APC?
Journal of Formalized Reasoning is a fully open-access journal. It charges no article processing charge.
Sources and updates
The facts on this page come from LetPub, OpenAlex, Publisher website; every figure is tagged with its source and the date it was observed, and conflicting values are kept per source. LetPub source page: view ↗ (archived 2026-08-26). Last updated: .