IJCAR-11 - Call for participation

[email protected] Wed, 1 Jun 2022 18:46:01 -0400 (EDT)

Newsgroups	gmane.comp.gnu.prolog.general
Message-ID	<[email protected]>

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