The 11th International Joint Conference on Automated Reasoning (IJCAR 2022) August 8-10, in-person in Haifa, Israel
The program for IJCAR 2022 is now available at ... https://easychair.org/smart-program/FLoC2022/IJCAR-program.html The workshops assocbiated with IJCAR 2022 are listed at ... https://easychair.org/smart-program/FLoC2022/IJCAR-workshops.html Registration for IJCAR 2022 is now open at ... https://easychair.org/smart-program/FLoC2022/IJCAR-Registration.html Grants to support students' attendance at IJCAR 2022 are available ... https://easychair.org/smart-program/FLoC2022/IJCAR-Grants.html _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info