The following events will be co-located with IJCAR 2024. Moreover, the CASC competition and the Termination competition will take place during IJCAR 2024.
Monday, July 1, 2024
-
ARQNL, the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics
-
Quantify, the International Workshop on Quantification
-
Vampire, the 8th Vampire workshop
-
IFIP WG 1.6, a meeting of the IFIP Working Group 1.6 on Rewriting (presentations by invitation only, attendance open).
Tuesday, July 2, 2024
-
PAAR, the 9th International Workshop on Practical Aspects of Automated Reasoning
-
SC square, the Workshop on Satisfiability Checking and Symbolic Computation
-
ThEdu, the 13th International Workshop on Theorem Proving Components for Educational Software
-
UNIF, the 38th International Workshop on Unification
-
WAIT, the International Workshop on Automated (Co)Inductive Theorem Proving