Journal Information

Journal of Formalized Reasoning

Please Login to view website of journal

Publisher:
Alma Mater Studiorum
ISSN:
1972-5787
Viewed:
13060
Tracked:
0

Call For Papers

Journal of Formalized Reasoning is an academic journal published by Alma Mater Studiorum. (ISSN 1972-5787).

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

Related Journals

CCFFull NameImpact FactorPublisherISSN
aIEEE Transactions on Image Processing13.7IEEE1057-7149
Journal of Computer Assisted Learning4.6Wiley-Blackwell0266-4909
bInternational Journal of Approximate Reasoning3.0Elsevier0888-613X
bMachine Learning2.9Springer0885-6125
Journal of Forecasting2.7Wiley-Blackwell0277-6693
cIET Image Processing2.3IET1751-9659
Magnetic Resonance Imaging2.0Elsevier0730-725X
bFormal Aspects of Computing1.4ACM0934-5043
International Journal of Performability Engineering1.100RAMS Consultants0973-1318
bJournal of Automated Reasoning0.8Springer0168-7433

Related Conferences

CCFCOREQUALISShortFull NameSubmissionNotificationConference
cb1ICFEMInternational Conference on Formal Engineering Methods2026-06-012026-08-082026-11-17
baa2ICPPInternational Conference on Parallel Processing2026-04-242026-06-302026-09-28
bEGSREurographics Symposium on Rendering2026-04-092026-05-252026-07-01
ba*b1IJCARInternational Joint Conference on Automated Reasoning2026-02-062026-04-142026-07-26
aa*a1ICMLInternational Conference on Machine Learning2026-01-232026-07-06
ab1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
b3ICWLInternational Conference on Web-based Learning2025-09-302025-10-202025-11-30
bcb4ICCBRInternational Conference on Case-Based Reasoning2025-03-162025-04-062025-06-30
b4ICBLInternational Conference on Blended Learning2017-02-282017-03-152017-06-27
cb1IHInformation Hiding Conference2012-02-052012-04-012012-05-15

Tracker
No results found.
Advertisment