Already have a Username/Password for Journal of Formalized Reasoning?
Go to Login
Need a Username/Password?
Go to Registration
Registration and login are required to submit items online and to check the status of current submissions.
Submission Preparation Checklist
As part of the submission process, authors are required to check off their submission's compliance with all of the following items, and submissions may be returned to authors that do not adhere to these guidelines.
- The submission has not been previously published, nor is it before another journal for consideration (or an explanation has been provided in Comments to the Editor).
- The submission file should be a single pdf file, or a single tar file (possibly zipped) in case the submission contains attachments, such as scripts. Scripts, if provided, are supposed to be directly executable by their respective applications.
- In case of acceptance, the author will be asked to supply a latex source. The text must adhere to the stylistic and bibliographic requirements outlined in the Author Guidelines.
Copyrights and publishing rights of all the texts on this journal belong to the respective authors without restrictions.
The names and email addresses entered in this journal site will be used exclusively for the stated purposes of this journal and will not be made available for any other purpose or to any other party.