IJCAR 2022: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING 2022
Call for Papers

A list of relevant topics, as well as details on submission instructions and deadlines are available in our CFP