Robin Milner Symposium 15-18th April 2012 | http://events.inf.ed.ac.uk/Milner2012

Events by day


Location


Links


Downloads






John Harrison

Interactive theorem proving in industry

Milner symposium video

Fullscreen not working? Try large size: MP4, or WebM.

Video not working? Try another format: MP4, WebM, or MOV.

Audio but no video? Try another browser (e.g. Chrome)

No video player? Try HTML5 instead: HTML5 with MP4, HTML5 with WebM.

Still no luck? Try downloading: MP4, WebM, or MOV.

Can't play the downloaded file? Try VLAN.

Jittery video? Server unresponsive? Try the Milner Server instead.