IJCAR is the premier international joint conference on all aspects of automated
reasoning. IJCAR 2022 is the 11th edition of IJCAR. It will be held in Haifa
(Israel), August 7-12, 2022, as part of FLoC 2022. IJCAR 2022 is the merger
conference of the following leading events in automated
IJCAR 2022 - Call for Papers
https://easychair.org/smart-program/IJCAR2022/.
***Important Dates***
Submission deadline February 11, 2022
Start of authors response period April 16, 2022
End of authors response period April 18, 2022
Authors notification April 25, 2022
IJCAR 2022 - Call for Papers
https://easychair.org/smart-program/IJCAR2022/.
***Important Dates***
Submission deadline February 11, 2022
Start of authors response periodApril 16, 2022
End of authors response period April 18, 2022
Authors notificationApril 25, 2022
