Die Videos sind h.264+aac in einem mp4-Container; das läuft zumindest auf Chrome und mobilen Plattformen… mit Firefox 24 muss man in about:config noch media.gstreamer.enabled auf true setzten, und alle nötigen Plugins installieren (bei mir hat gstreamer-0_10-plugins-ffmpeg noch gefehlt). Chromium will chromium-ffpmeg statt dem üblicherweise per default installierten chromium-ffmpegsumo.

• 14:00 Anton Ertl „Region-based Memory Allocation in Forth“ kein Video
• 14:45 Stephen Pelc „Compiling to Flash“ kein Video
• 16:00 Paul Bennet „High Integrity System - CODE“ Video
• 16:40 Bernd Paysan „net2o Command Language“ Video
• 17:20 Andrew Read „Concept and implementation of an extended return stack to enhance subroutine and excepton handling in Forth“ Video