ジャーナル情報

Journal of Formalized Reasoning

ジャーナルのウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
ログイン 新規登録

出版社:
Alma Mater Studiorum
ISSN:
1972-5787
閲覧:
13318
フォロー:
0

論文募集

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.
最終更新：Dou Sun（）

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
BJournal of Automated Reasoning0.8Springer0168-7433
BIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems6.1Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

関連会議

CCFCOREQUALIS略称正式名称投稿締切通知日開催日
A*A1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
A*A1AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
A*A1CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
BA1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
A*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
A*A1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
BA2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
AA2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
BA1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
A*A1PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13

コメント 0

まだコメントはありません。

コメントするにはログインしてください

広告