[Hol-info] IJCAR 2024: call for co-located events
IJCAR 2024: call for co-located events 12th International Joint Conference on Automated Reasoning – IJCAR 2024 July 1–6, 2024, Nancy, France https://ijcar2024.loria.fr The International Joint Conference on Automated Reasoning (IJCAR 2024) is soliciting proposals for co-located events such as
[Hol-info] IJCAR 2024 - Call for Papers
IJCAR 2024 [Apologies if you receive multiple copies] === CALL FOR PAPERS IJCAR 2024 The 12th International Joint Conference on Automated Reasoning Nancy, France, July 1-6, 2024 https://ijcar2024.loria.fr/