Oxford Skyline

Associated Events

The 9th International Joint Conference on Automated Reasoning is one of the constituent meetings of FLoC 2018 and acts as the host conference for a number of affiliated workshops, as well as the CADE ATP System Competition (CASC-J9).

List of Workshops

  1. 16th International Workshop on Termination (WST 2018)
  2. Vampire 2018: The 5th Vampire Workshop
  3. SC2: International Workshop on Satisfiability Checking and Symbolic Computation
  4. PRUV'18: Logics for Reasoning about Preferences, Uncertainty, and Vagueness
  5. Theorem Prover Components for Educational Software (ThEdu'18)
  6. Satisfiability Modulo Theories (SMT'18) Workshop
  7. External and Internal Calculi for Non-classical Logics
  8. Third International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018)
  9. Practical Aspects of Automated Reasoning (PAAR-2018)
  10. Deduction Mentoring Workshop
  11. User Interfaces for Theorem Provers (UITP’17)