仕訳帳情報
Journal of Formalized Reasoning
https://jfr.unibo.it/
出版社:
Alma Mater Studiorum
ISSN:
1972-5787
閲覧:
689
追跡:
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
bJournal of Automated Reasoning0.714Springer0168-7433
bInternational Journal of Approximate Reasoning1.982Elsevier0888-613X
International Journal of Human Capital and Information Technology ProfessionalsIGI Global Publishing1947-3478
bMachine Learning1.587Springer0885-6125
bFormal Aspects of Computing1.226Springer0934-5043
Journal of Computer Assisted Learning2.451Wiley-Blackwell0266-4909
cIET Image Processing0.753IET1751-9659
aIEEE Transactions on Image Processing2.918IEEE1057-7149
IET Journal on Singal Processing IET1751-9675
Materials Science and Engineering: C4.959Elsevier0928-4931
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
baa1ECCVEuropean Conference on Computer Vision2020-03-052020-07-032020-08-23
WATInternational Workshop on Automation Technologies2020-06-102020-07-102020-12-10
FMVIPInternational Conference on Frontiers of Machine Vision and Image Processing2020-10-102020-10-252020-11-13
MIGACM SIGGRAPH conference on Motion, Interaction and Games2019-07-222019-08-302019-10-28
MEEPInternational Conference on Materials Chemistry and Environmental Protection2018-11-20 2018-11-23
ISMSInternational conference on Intelligent Systems, Modelling and Simulation2018-03-20 2018-05-08
bHSCCInternational Conference on Hybrid Systems: Computation and Control2020-10-26 2021-05-19
bb1FMInternational Symposium on Formal Methods2021-04-302021-07-162021-11-20
ECNLPIREuropean Conference on Natural Language Processing and Information Retrieval2020-08-152020-08-152020-09-16
おすすめ