Conference Information
IJCAR 2022: International Joint Conference on Automated Reasoning
https://easychair.org/smart-program/IJCAR2022/Submission Date: |
2022-02-11 |
Notification Date: |
2022-04-25 |
Conference Date: |
2022-08-07 |
Location: |
Haifa, Israel |
Years: |
11 |
CCF: b CORE: a* QUALIS: b1 Viewed: 17678 Tracked: 17 Attend: 6
Call For Papers
IJCAR 2022 topics include the following ones: * 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, integration of proof assistants with automated provers and other symbolic tools, etc. * Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, education, formalization of mathematics etc.
Last updated by Dou Sun in 2022-01-17
Related Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
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 | |||
WCNE | International Conference on Wireless Communication and Network Engineering | 2017-12-12 | 2017-12-24 | ||||
DisCoTec | International Federated Conference on Distributed Computing Techniques | 2021-01-29 | 2021-04-02 | 2021-06-14 | |||
DMMH | International Workshop on Data Mining for Medicine and Healthcare | 2013-01-25 | 2013-05-04 | ||||
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 | 2022-03-07 | 2022-07-03 | 2022-10-24 |
Short | Full Name | Submission | Conference |
---|---|---|---|
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 |
WCNE | International Conference on Wireless Communication and Network Engineering | 2017-12-12 | 2017-12-24 |
DisCoTec | International Federated Conference on Distributed Computing Techniques | 2021-01-29 | 2021-06-14 |
DMMH | International Workshop on Data Mining for Medicine and Healthcare | 2013-05-04 | |
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 | 2022-03-07 | 2022-10-24 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | 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 | |
b | Automated Software Engineering | 1.273 | Springer | 0928-8910 |
Operations Research Letters | 1.154 | Elsevier | 0167-6377 | |
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 |
Full Name | Impact Factor | Publisher |
---|---|---|
International Journal of Approximate Reasoning | 3.816 | Elsevier |
Journal of Formalized Reasoning | Alma Mater Studiorum | |
Journal of Computer Assisted Learning | 2.451 | Wiley-Blackwell |
Automated Software Engineering | 1.273 | Springer |
Operations Research Letters | 1.154 | Elsevier |
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 |
Recommendation