仕訳帳情報
Journal of Formalized Reasoning
https://jfr.unibo.it/出版社: |
Alma Mater Studiorum |
ISSN: |
1972-5787 |
閲覧: |
6441 |
追跡: |
0 |
論文募集
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 2020-03-18
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
Information and Organization | 5.700 | Elsevier | 1471-7727 | |
ACM Transactions on Multimedia Computing, Communications, and Applications | 5.200 | ACM | 1551-6857 | |
International Journal of Numerical Methods for Heat & Fluid Flow | 4.000 | Emerald | 0961-5539 | |
International Journal of Fuzzy Logic and Intelligent Systems | Korean Institute of Intelligent Systems | 1598-2645 | ||
IEICE Transactions on Communications | IEICE | |||
Language Learning & Technology | 3.800 | University of Hawaii Press | 1094-3501 | |
Optical Memory and Neural Networks | 1.000 | Springer | 1060-992X | |
Programming and Computer Software | 0.700 | Springer | 0361-7688 | |
Computational Mathematics and Modeling | Springer | 1046-283X | ||
Networking Science | Springer | 2076-0310 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Information and Organization | 5.700 | Elsevier |
ACM Transactions on Multimedia Computing, Communications, and Applications | 5.200 | ACM |
International Journal of Numerical Methods for Heat & Fluid Flow | 4.000 | Emerald |
International Journal of Fuzzy Logic and Intelligent Systems | Korean Institute of Intelligent Systems | |
IEICE Transactions on Communications | IEICE | |
Language Learning & Technology | 3.800 | University of Hawaii Press |
Optical Memory and Neural Networks | 1.000 | Springer |
Programming and Computer Software | 0.700 | Springer |
Computational Mathematics and Modeling | Springer | |
Networking Science | Springer |
関連会議
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
b | a | a1 | ECCV | European Conference on Computer Vision | 2024-03-07 | 2024-05-09 | 2024-09-29 |
WAT | International Workshop on Automation Technologies | 2022-11-15 | 2022-12-01 | 2022-12-16 | |||
FMVIP | International Conference on Frontiers of Machine Vision and Image Processing | 2022-10-20 | 2022-11-05 | 2022-11-18 | |||
MEEP | International Conference on Materials Chemistry and Environmental Protection | 2018-11-20 | 2018-11-23 | ||||
TEES | International Conference on Tourism and Environmental Sustainability | 2023-06-30 | 2023-09-15 | ||||
MIG | ACM SIGGRAPH conference on Motion, Interaction and Games | 2024-07-15 | 2024-09-06 | 2024-11-21 | |||
ISMS | International conference on Intelligent Systems, Modelling and Simulation | 2018-03-20 | 2018-05-08 | ||||
b | HSCC | International Conference on Hybrid Systems: Computation and Control | 2024-10-31 | 2025-01-23 | 2025-05-06 | ||
a | b1 | FM | International Symposium on Formal Methods | 2024-04-05 | 2024-06-03 | 2024-09-09 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
ECCV | European Conference on Computer Vision | 2024-03-07 | 2024-09-29 |
WAT | International Workshop on Automation Technologies | 2022-11-15 | 2022-12-16 |
FMVIP | International Conference on Frontiers of Machine Vision and Image Processing | 2022-10-20 | 2022-11-18 |
MEEP | International Conference on Materials Chemistry and Environmental Protection | 2018-11-20 | 2018-11-23 |
TEES | International Conference on Tourism and Environmental Sustainability | 2023-06-30 | 2023-09-15 |
MIG | ACM SIGGRAPH conference on Motion, Interaction and Games | 2024-07-15 | 2024-11-21 |
ISMS | International conference on Intelligent Systems, Modelling and Simulation | 2018-03-20 | 2018-05-08 |
HSCC | International Conference on Hybrid Systems: Computation and Control | 2024-10-31 | 2025-05-06 |
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
おすすめ