Co-located events


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

  • TPTP tea party

  • Vampire, the 8th Vampire workshop

  • IFIP WG 1.6, a meeting of the IFIP Working Group 1.6 on Rewriting (by invitation only).

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