May  2, 2016

Higher-Order Model Checking: From Theory to Practice
Naoki Kobayashi
Tohoku University

This web presentation contains the audio of a lecture given at the Fields Institute on June 23, 2011 as part of the 26th Annual IEEE Symposium on Logic in Computer Science.

Listen to audio presentation:

  • Directly in browser (supported in recent versions of Mozilla Firefox, Google Chrome, and others, but not yet in Microsoft Internet Explorer):

    Indirectly in browser, using the cortado java-based player:
    Java is not configured on your browser.
  • In an external player: