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

Events by day


Location


Links


Downloads






Gérard Huet

What I learned from LCF

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 HTML4 instead: HTML4 with MP4, HTML4 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.