The videos are h.264+aac in an mp4 container; this works at least in Chrome and on mobile platforms… to get Firefox 24 on Linux to work, you have to set media.gstreamer.enabled to true in about:config and install all necessary plugins (I didn't have gstreamer-0_10-plugins-ffmpeg …). Chromium wants chromium-ffmpeg instead of chromium-ffmpegsumo.
Proceedings are available on the EuroForth site.