FOSDEM video recordings

These talks have been recorded at FOSDEM.
Special thanks to AS35701, Belnet, cyberbits.eu, dotsrc.org, FAU, LibreLabUCM, Nikhef, Onet and OSUOSL for the bandwidth.
Please contact video@fosdem.org with any questions.

/2014/K4601/Saturday/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
Contract_Based_Programming_in_Ada_2012.webm475.4 MiB2014-Feb-22 12:19
Safer_Web_Servers_with_Ada_and_AWS.webm436.8 MiB2014-Jul-27 13:29
Introduction_to_Ada_for_Beginning_and_Experienced_Programmers.webm417.0 MiB2014-Feb-18 06:47
SPARK_2014_Hybrid_Verification_using_Proofs_and_Tests.webm387.5 MiB2014-Feb-18 06:47
Ada_Task_Pools_Multithreading_Made_Easy.webm376.3 MiB2014-Feb-18 06:11
Formal_Verification_with_Ada_2012_a_Very_Simple_Case_Study.webm198.6 MiB2014-Feb-22 11:34
Ada_in_BSD.webm166.1 MiB2014-Oct-22 08:14
Speedup_and_Quality_Up_with_Ada_Tasking.webm139.1 MiB2014-Jul-27 13:29
Ada_in_Fedora_Linux.webm108.9 MiB2014-Apr-03 21:27
Ada_in_Debian_Linux.webm61.8 MiB2014-Apr-03 20:27
Welcome.webm19.3 MiB2014-Mar-14 18:11
Wrap_Up_Future_Plans.webm4.2 MiB2014-Oct-22 08:14
This work is licensed under the Creative Commons Attribution 2.0 Belgium Licence.
To view a copy of this licence, visit http://creativecommons.org/licenses/by/2.0/be/deed.en
or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA.