FOSDEM video recordings

These talks have been recorded at FOSDEM.
Special thanks to Belnet,, AS35701, HEAnet, OSUOSL, NIKHEF,, FAU.DE and for the bandwidth.
Please contact with any questions.


File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
Ada_Task_Pools_Multithreading_Made_Easy.webm 376M2014-Feb-18 06:11
Ada_in_BSD.webm 166M2014-Oct-22 08:14
Ada_in_Debian_Linux.webm 62M2014-Apr-03 20:27
Ada_in_Fedora_Linux.webm 109M2014-Apr-03 21:27
Contract_Based_Programming_in_Ada_2012.webm 475M2014-Feb-22 12:19
Formal_Verification_with_Ada_2012_a_Very_Simple..> 199M2014-Feb-22 11:34
Introduction_to_Ada_for_Beginning_and_Experienc..> 417M2014-Feb-18 06:47
SPARK_2014_Hybrid_Verification_using_Proofs_and..> 387M2014-Feb-18 06:47
Safer_Web_Servers_with_Ada_and_AWS.webm 437M2014-Jul-27 13:29
Speedup_and_Quality_Up_with_Ada_Tasking.webm 139M2014-Jul-27 13:29
Welcome.webm 19M2014-Mar-14 18:11
Wrap_Up_Future_Plans.webm 4M2014-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
or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA.