[Hol-info] 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING - Call for Papers

CALL FOR PAPERS PAAR 2022: 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING -- co-located with FLoC/IJCAR 2022 -- August 11-12, 2022, Haifa, Israel Web site: https://paar2022.github.io/ Submission link: https://easychair.org/conferences/?conf=paar2022 Abstract registration deadline: Apri

[Hol-info] TAP22: Tests and Proofs 2022 - Call for Papers

TAP22: Tests and Proofs 2022 co-located event of STAF 2022 Nantes, France, July 4-8, 2022 Conference website https://easychair.org/smart-program/TAP22/index.html Submission link https://easychair.org/conferences/?conf=tap22 Conference program https://easychair.org/smart-program/TAP22/ A