Ian Mertz

  1. Title:
    Short proofs are hard to find (joint work w/ Toni Pitassi and Hao Wei)

    Speaker:

    Link:

  2. Title:
    The Tree Evaluation Problem: Context and Recent Results

    Speaker:

    Link: