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/ | - | - |
Wrap_Up_Future_Plans.webm | 4.2 MiB | 2014-Oct-22 08:14 |
Welcome.webm | 19.3 MiB | 2014-Mar-14 18:11 |
Speedup_and_Quality_Up_with_Ada_Tasking.webm | 139.1 MiB | 2014-Jul-27 13:29 |
Safer_Web_Servers_with_Ada_and_AWS.webm | 436.8 MiB | 2014-Jul-27 13:29 |
SPARK_2014_Hybrid_Verification_using_Proofs_and_Tests.webm | 387.5 MiB | 2014-Feb-18 06:47 |
Introduction_to_Ada_for_Beginning_and_Experienced_Programmers.webm | 417.0 MiB | 2014-Feb-18 06:47 |
Formal_Verification_with_Ada_2012_a_Very_Simple_Case_Study.webm | 198.6 MiB | 2014-Feb-22 11:34 |
Contract_Based_Programming_in_Ada_2012.webm | 475.4 MiB | 2014-Feb-22 12:19 |
Ada_in_Fedora_Linux.webm | 108.9 MiB | 2014-Apr-03 21:27 |
Ada_in_Debian_Linux.webm | 61.8 MiB | 2014-Apr-03 20:27 |
Ada_in_BSD.webm | 166.1 MiB | 2014-Oct-22 08:14 |
Ada_Task_Pools_Multithreading_Made_Easy.webm | 376.3 MiB | 2014-Feb-18 06:11 |
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.
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.