LECTURE AUDIO

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:
  

• In an external player:

  • Ogg Vorbis format (downloadable too; right-click to download)

  • MP3 format (downloadable too; right-click to download)

  • Real Player format

If the format you are requesting has not been viewed recently, expect a 20-30 second delay while it is rebuilt.