FOSDEM video recordings

These talks have been recorded at FOSDEM.
Special thanks to AS35701, Belnet,,, FAU, HEAnet, Nikhef, Onet and OSUOSL 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 07:11
Ada_in_BSD.webm 166M2014-Oct-22 09:14
Ada_in_Debian_Linux.webm 62M2014-Apr-03 21:27
Ada_in_Fedora_Linux.webm 109M2014-Apr-03 22:27
Contract_Based_Programming_in_Ada_2012.webm 475M2014-Feb-22 13:19
Formal_Verification_with_Ada_2012_a_Very_Simple_Case_Study.webm 199M2014-Feb-22 12:34
Introduction_to_Ada_for_Beginning_and_Experienced_Programmers.webm 417M2014-Feb-18 07:47
SPARK_2014_Hybrid_Verification_using_Proofs_and_Tests.webm 387M2014-Feb-18 07:47
Safer_Web_Servers_with_Ada_and_AWS.webm 437M2014-Jul-27 14:29
Speedup_and_Quality_Up_with_Ada_Tasking.webm 139M2014-Jul-27 14:29
Welcome.webm 19M2014-Mar-14 19:11
Wrap_Up_Future_Plans.webm 4M2014-Oct-22 09: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.