[Hol-info] IJCAR 2024 - Call for Papers

2023-10-25 Thread geoff
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/ ==

[Hol-info] IJCAR 2024: call for co-located events

2023-10-25 Thread Peter Lammich via hol-info
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 wor