Journal of Formalized Reasoning
Open Access
Journal formatting to fit the target journal guidelines
Experts ensure all elements of your paper match journal formatting guidelines to improve publication success rate!
Aims and Scope
The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna. Less
Key Metrics
Journal Specifications
Indexed in the following public directories
DOAJ 
SJR
- PublisherUNIV STUDI BOLOGNA, ALMADL JOURNALS
- LanguageEnglish
- FrequencyAnnual
- Publication Time25
- Editorial Review ProcessAnonymous peer review
- LanguageEnglish
- Society/Institute/SponsorUniversity of Bologna – Dipartimento di Matematica
- FrequencyAnnual
- Publication Start Year2008
- Publisher URL
- Website URL
- Other charges
- Publication Time25
- Editorial Team
- Review ProcessAnonymous peer review
- Review Url
- Author instructions
- Copyright Details
- Deposit PolicySherpa/Romeo
- License typeCC BY
- OA statement
Recently Published Papers
FAQs
Since when has Journal of Formalized Reasoning been publishing? 
The Journal of Formalized Reasoning has been publishing since 2008 till date.
How frequently is the Journal of Formalized Reasoning published?
Journal of Formalized Reasoning is published Annual.
Who is the publisher of Journal of Formalized Reasoning?
The publisher of Journal of Formalized Reasoning is UNIV STUDI BOLOGNA, ALMADL JOURNALS.
Where can I find a journal's aims and scope of Journal of Formalized Reasoning?
For the Journal of Formalized Reasoning's Aims and Scope, please refer to the section above on the page.
How can I view the journal metrics of Journal of Formalized Reasoning on editage?
For the Journal of Formalized Reasoning metrics, please refer to the section above on the page.
What is the eISSN and pISSN number of Journal of Formalized Reasoning?
The eISSN number is 1972-5787 and pISSN number is 1972-5787 for Journal of Formalized Reasoning.
Why is it important to find the right journal for my research?
Choosing the right journal ensures that your research reaches the most relevant audience, thereby maximizing its scholarly impact and contribution to the field.
Can the choice of journal affect my academic career?
Absolutely. Publishing in reputable journals can enhance your academic profile, making you more competitive for grants, tenure, and other professional opportunities.
Is it advisable to target high-impact journals only?
While high-impact journals offer greater visibility, they are often highly competitive. It's essential to balance the journal's impact factor with the likelihood of your work being accepted.