Live streaming from FP-Syd - this month; Type Systems in Theorem Provers, JoCaml: Concurrent Programming with the Join Calculus and Dominic Verity on Category Theory

[Tim Ansell]

Hello everyone,

This week we will again be trialing live streaming of FP-Syd! We have successfully streamed both SLUG and SyPy using this set up, so I'm hoping it'll be fairly stable. We will also be uploading videos of the talk to YouTube shortly after the event (my goal is to have them up by the time I leave the pub) at the GoogleFOSSSydney channel. A big thank you goes to Orion VM who are providing the machine which is doing the live encoding.

Streaming will start from 6pm Australian Eastern Standard Time (check the time in your local timezone here) at the following URL;

http://tims-video.appspot.com/fpsyd

The system supports HTML5 (H264, Ogg Theora and WebM) and Flash streaming, this should cover most desktop browsers. The system does not support mobile systems yet (which includes the iPad), it might work, but it's more likely it won't. 

The system has twitter and IRC integration, so tweet with the #fpsyd hashtag, and join the irc://irc.freenode.org/#fpsyd IRC channel. If you are in the room and want to join the online chatting, you can use http://tims-video.appspot.com/fp-syd?novideo=True

As the system is now significantly more stable, please feel free to forward this email to anyone who might be interested, I've included the topics below so you only need to forward one email. This month's FP-Syd will include;

Eric Willigers (Type Systems in Theorem Provers) and Raphael Speyer (JoCaml: Concurrent Programming with the Join Calculus) followed by a longer main talk by Dominic Verity on Category Theory. Dominic will be presenting part 2 of the talk hes started back in November. For those who wish to revist his last presentation, the video is available here: http://vimeo.com/17207564

If you have other problems like the sound being quiet or the display being wrong in anyway, or if you can't get the stream to work, please send me an email with the following details;

• Browser Type (Chrome, Safari, IE, etc)
• Exact Browser Version (a screenshot of the about page would be awesome!)
• Operating System - as much detail as possible (IE Ubuntu Lucid 64bit)
• The speed and type of Internet connection you have. (IE ADSL, Cable, ADSL2 and 256k, 6M). You can find this information in your ADSL model. 
• Please go to  http://www.speedtest.net/ and send me the numbers the widget reports.
• Anything else you think is important.

Tim 'mithro' Ansell