The video player is loading. Playback of the video Interactive theorem proving, automated reasoning, and dynamical systems will begin momentarily.
  Interactive theorem proving, automated reasoning, and dynamical systems
Browse Video Archive