New journal: Journal of Formalized Reasoning

The journal encourages submission of papers describing significant formalization efforts in any area, including classical math, constructive math, 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, enhancing reusability of solutions and offering a clear view of the current state of the field.

The Journal of Formalized Reasoning is a purely electronic publication. The 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.

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. Each new contribution must be original, and not submitted before different journals for consideration.

For more information, see the journal home page at http://jfr.cib.unibo.it/