Journal of Formalized Reasoning
Impact Factor & Key Scientometrics

I. Basic Journal Info

Country

Italy

Journal ISSN: 19725787

Publisher: Alma Mater Studiorum (Bologna)

History: 2013-2020

Journal Hompage: Link

How to Get Published:

Research Categories

Scope/Description:

The journal is meant to become the natural target for research papers describing significant automated or semiautomated 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.