会議情報
IJCAR 2024: International Joint Conference on Automated Reasoning
https://merz.gitlabpages.inria.fr/2024-ijcar/提出日: |
2024-01-29 |
通知日: |
2024-03-28 |
会議日: |
2024-07-01 |
場所: |
Nancy, France |
年: |
13 |
CCF: b CORE: a* QUALIS: b1 閲覧: 19162 追跡: 19 出席: 6
論文募集
IJCAR 2024 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. Original research papers and descriptions/evaluations of working automated deduction systems or proof assistant systems are solicited. IJCAR topics include the following: Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory. Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, machine learning and theorem proving, integration of automated provers/proof assistants in automated test generators, program synthesisers, verified compilers, intelligent systems, agent based systems, knowledge processing systems, formal methods tools and other symbolic tools, etc. Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation and processing/engineering, education, formalization of mathematics, trusted AI, etc.
最終更新 Dou Sun 2023-12-24
関連会議
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
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 | |||
DMMH | International Workshop on Data Mining for Medicine and Healthcare | 2013-01-25 | 2013-05-04 | ||||
DisCoTec | International Federated Conference on Distributed Computing Techniques | 2024-02-02 | 2024-03-29 | 2024-06-17 | |||
WCNE | International Conference on Wireless Communication and Network Engineering | 2017-12-12 | 2017-12-24 | ||||
ICITEE | International Conference on Information Technology and Electrical Engineering | 2018-04-20 | 2018-05-18 | 2018-07-24 | |||
a | b2 | TARK | International Conference on Theoretical Aspects of Rationality and Knowledge | 2012-09-20 | 2012-10-29 | 2013-01-07 | |
AIEE | International Conference on Artificial Intelligence in Electronics Engineering | 2020-12-10 | 2020-12-20 | 2021-01-15 | |||
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-16 |
FMVIP | International Conference on Frontiers of Machine Vision and Image Processing | 2022-10-20 | 2022-11-18 |
DMMH | International Workshop on Data Mining for Medicine and Healthcare | 2013-05-04 | |
DisCoTec | International Federated Conference on Distributed Computing Techniques | 2024-02-02 | 2024-06-17 |
WCNE | International Conference on Wireless Communication and Network Engineering | 2017-12-12 | 2017-12-24 |
ICITEE | International Conference on Information Technology and Electrical Engineering | 2018-04-20 | 2018-07-24 |
TARK | International Conference on Theoretical Aspects of Rationality and Knowledge | 2012-09-20 | 2013-01-07 |
AIEE | International Conference on Artificial Intelligence in Electronics Engineering | 2020-12-10 | 2021-01-15 |
ECCV | European Conference on Computer Vision | 2024-03-07 | 2024-09-29 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
b | International Journal of Approximate Reasoning | 3.816 | Elsevier | 0888-613X |
Journal of Formalized Reasoning | Alma Mater Studiorum | 1972-5787 | ||
Journal of Computer Assisted Learning | 2.451 | Wiley-Blackwell | 0266-4909 | |
Operations Research Letters | 1.154 | Elsevier | 0167-6377 | |
b | Automated Software Engineering | 1.273 | Springer | 0928-8910 |
The International Journal of Advanced Manufacturing Technology | 3.226 | Springer | 0268-3768 | |
IEEE Robotics & Automation Magazine | 4.250 | IEEE | 1070-9932 | |
Progress in Organic Coatings | 5.161 | Elsevier | 0300-9440 | |
Journal of Library Automation | American Library Association | 0022-2240 | ||
Design Automation for Embedded Systems | 0.250 | Springer | 0929-5585 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
International Journal of Approximate Reasoning | 3.816 | Elsevier |
Journal of Formalized Reasoning | Alma Mater Studiorum | |
Journal of Computer Assisted Learning | 2.451 | Wiley-Blackwell |
Operations Research Letters | 1.154 | Elsevier |
Automated Software Engineering | 1.273 | Springer |
The International Journal of Advanced Manufacturing Technology | 3.226 | Springer |
IEEE Robotics & Automation Magazine | 4.250 | IEEE |
Progress in Organic Coatings | 5.161 | Elsevier |
Journal of Library Automation | American Library Association | |
Design Automation for Embedded Systems | 0.250 | Springer |
おすすめ