[Hol-info] CADE-30 Call for Papers

2025-01-20 Thread geoff--- via hol-info
*** CALL FOR PAPERS CADE-30: 30th international Conference on Automated Deduction DHBW Stuttgart Stuttgart, Germany, July 28th - August 2nd, 2025

[Hol-info] CADE-30 Call for Papers

2024-10-02 Thread geoff--- via hol-info
** CALL FOR PAPERS CADE-30: 30th international Conference on Automated Deduction DHBW Stuttgart Stuttgart, Germany, July 28th - August 2nd, 2025