- ICMS2006 Video Archives -

John Harrison
"Formalizing Mathematics"
Quick Time 400Kbps, (178627333 bytes)

Click to watch the movie of this lecture by QuickTime Streaming(rtsp 400k~600k)
low (rtsp 100k), low (http 100k, downloadable)

Slide

To view streaming video, you need QuickTime player 7 or later Free download of QuickTime player .
Note: version 6 will not work.