You are here

Awards

  • Symbolic Computation and Satisfiability Checking (SC2) Track Invited Paper at CASC 2016
  • IJCAI 'Sister Conference Best Paper Track' Invited Paper 2016
  • CADE 2015 Paper on MathCheck selected for JAR Special Issue on Best Papers at CADE 2015