Brendan Juba

  1. Title:
    Efficient reasoning in PAC semantics
    Speaker:
    Brendan Juba

    Link:
    https://www.ias.edu/video/csdm/2013/1118-BrendanJuba