Participation

The American Association for Artificial Intelligence (AAAI).
  We participated in the AAAI-97 conference in Providence, RI.

The Conference on Automated Deduction (CADE).
  We participated at CADE-98 in Lindau, Germany.

The Florida Artificial Intelligence Research Society (FLAIRS).
  We have a special track scheduled for FLAIRS-99.

The CADE ATP System Competition (CASC).
  We participated in CASC-14 with the AllPaths Theorem Prover. The results are available.

References

The library of Thousands of Problems for Theorem Provers (TPTP).
  We rely on the TPTP problem set for robust integrity checking and evaluation.

Argonne National Laboratory
  Automated Reasoning group
  MCS Division

Journal of Automated Reasoning