CADE-affiliated workshops and tutorials

The following workshops and tutorials are affiliated with CADE-18:

Workshops

  • July 25-26: CiAD - 2nd International Workshop on Complexity In Automated Deduction
  • July 31st - August 1st: PaPS - Problem and Problem Sets for ATP
  • July 31st: RADM - The Role of Automated Deduction in Mathematics
  • July 25-26: VERIFY - Verification Workshop

Tutorials