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: 17724   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
CCFCOREQUALISShortFull NameSubmissionNotificationConference
WATInternational Workshop on Automation Technologies2022-11-152022-12-012022-12-16
FMVIPInternational Conference on Frontiers of Machine Vision and Image Processing2022-10-202022-11-052022-11-18
WCNEInternational Conference on Wireless Communication and Network Engineering2017-12-12 2017-12-24
DisCoTecInternational Federated Conference on Distributed Computing Techniques2021-01-292021-04-022021-06-14
DMMHInternational Workshop on Data Mining for Medicine and Healthcare 2013-01-252013-05-04
ICITEEInternational Conference on Information Technology and Electrical Engineering2018-04-202018-05-182018-07-24
ab2TARKInternational Conference on Theoretical Aspects of Rationality and Knowledge2012-09-202012-10-292013-01-07
AIEEInternational Conference on Artificial Intelligence in Electronics Engineering2020-12-102020-12-202021-01-15
baa1ECCVEuropean Conference on Computer Vision2022-03-072022-07-032022-10-24
Related Journals
CCFFull NameImpact FactorPublisherISSN
bInternational Journal of Approximate Reasoning3.816Elsevier0888-613X
Journal of Formalized ReasoningAlma Mater Studiorum1972-5787
Journal of Computer Assisted Learning2.451Wiley-Blackwell0266-4909
bAutomated Software Engineering1.273Springer0928-8910
Operations Research Letters1.154Elsevier0167-6377
The International Journal of Advanced Manufacturing Technology3.226Springer0268-3768
IEEE Robotics & Automation Magazine4.250IEEE1070-9932
Progress in Organic Coatings5.161Elsevier0300-9440
Journal of Library Automation American Library Association0022-2240
Design Automation for Embedded Systems0.250Springer0929-5585
Recommendation