DIMACS Summer School on Applied Logic

Tutorial on Proof Complexity and Feasible Arithmetic

Tentative Schedule and Syllabus


  • Monday, August 21
  • Tuesday, August 22
  • Wednesday, August 23
  • Thursday, August 24
  • Friday, August 25