Journal Information
Journal of Formalized Reasoning
https://jfr.unibo.it/
Publisher:
Alma Mater Studiorum
ISSN:
1972-5787
Viewed:
6409
Tracked:
0
Call For Papers
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.
Last updated by Dou Sun in 2020-03-18
Related Journals
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
baa1ECCVEuropean Conference on Computer Vision2024-03-072024-05-092024-09-29
WATInternational Workshop on Automation Technologies2022-11-152022-12-012022-12-16
FMVIPInternational Conference on Frontiers of Machine Vision and Image Processing2022-10-202022-11-052022-11-18
MEEPInternational Conference on Materials Chemistry and Environmental Protection2018-11-20 2018-11-23
TEESInternational Conference on Tourism and Environmental Sustainability2023-06-30 2023-09-15
MIGACM SIGGRAPH conference on Motion, Interaction and Games2024-07-152024-09-062024-11-21
ISMSInternational conference on Intelligent Systems, Modelling and Simulation2018-03-20 2018-05-08
bHSCCInternational Conference on Hybrid Systems: Computation and Control2024-10-312025-01-232025-05-06
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
Recommendation