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,
room 202 -
Quantify, the International Workshop on Quantification,
room 223 -
TPTP tea party,
room 228 -
Vampire, the 8th Vampire workshop,
room 201 -
IFIP WG 1.6, a meeting of the IFIP Working Group 1.6 on Rewriting (presentations by invitation only, attendance open),
room 225 -
ThEdu, the 13th International Workshop on Theorem Proving Components for Educational Software,
late afternoon session, room 201
Tuesday, July 2, 2024
-
PAAR, the 9th International Workshop on Practical Aspects of Automated Reasoning,
room 202 -
SC square, the Workshop on Satisfiability Checking and Symbolic Computation,
room 228 -
ThEdu, the 13th International Workshop on Theorem Proving Components for Educational Software,
room 201 -
UNIF, the 38th International Workshop on Unification,
room 225 -
WAIT, the International Workshop on Automated (Co)Inductive Theorem Proving,
room 223