Mika Goos

  1. Title:
    Automated Proof Search: The Aftermath
    Speaker:
    Mika Goos

    Link:
    http://www.birs.ca/events/2020/5-day-workshops/20w5144/videos/watch/202001221111-Goos.html

  2. Title:
    Query-to-Communication Lifting
    Speaker:
    Mika Goos

    Link:
    http://www.birs.ca/events/2017/5-day-workshops/17w5147/videos/watch/201703210904-Goos.html