All Stories

  1. The 11th IJCAR automated theorem proving system competition – CASC-J11

    Article • AI Communications, May 2023, IOS Press

    Dr Geoff Sutcliffe

  2. The CADE-28 Automated Theorem Proving System Competition – CASC-28

    Article • AI Communications, March 2022, IOS Press

    Dr Geoff Sutcliffe

  3. The 10th IJCAR automated theorem proving system competition – CASC-J10

    Article • AI Communications, September 2021, IOS Press

    Dr Geoff Sutcliffe

  4. The CADE-27 Automated theorem proving System Competition – CASC-27

    Article • AI Communications, March 2020, IOS Press

    Dr Geoff Sutcliffe

  5. The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9

    Article • AI Communications, November 2018, IOS Press

    Dr Geoff Sutcliffe

  6. The CADE-26 automated theorem proving system competition – CASC-26

    Article • AI Communications, December 2017, IOS Press

    Dr Geoff Sutcliffe

  7. The 8th IJCAR automated theorem proving system competition – CASC-J8

    Article • AI Communications, November 2016, IOS Press

    Dr Geoff Sutcliffe

  8. The CADE-25 Automated Theorem Proving system competition – CASC-25

    Article • AI Communications, April 2016, IOS Press

    Dr Geoff Sutcliffe