Conference on Automated Deduction
  • Conferences
  • Awards
  • Trustees
  • Bylaws
  • Contact

Awards

  • Best Paper Award

  • Herbrand Award

  • Skolem Award

  • Bill McCune PhD Award

  • Woody Bledsoe Award


© 2021 Conference on Automated Deduction web pages maintained by Valentin Montmirail and Geoff Sutcliffe.