Index of /fosdem/2014/K4601/Saturday

Icon  Name                                                               Last modified      Size  Description
[PARENTDIR] Parent Directory - [VID] Wrap_Up_Future_Plans.webm 2014-10-22 10:14 4.2M [VID] Welcome.webm 2014-03-14 19:11 19M [VID] Speedup_and_Quality_Up_with_Ada_Tasking.webm 2014-07-27 15:29 139M [VID] Safer_Web_Servers_with_Ada_and_AWS.webm 2014-07-27 15:29 437M [VID] SPARK_2014_Hybrid_Verification_using_Proofs_and_Tests.webm 2014-02-18 07:47 387M [VID] Introduction_to_Ada_for_Beginning_and_Experienced_Programmers.webm 2014-02-18 07:47 417M [VID] Formal_Verification_with_Ada_2012_a_Very_Simple_Case_Study.webm 2014-02-22 12:34 199M [VID] Contract_Based_Programming_in_Ada_2012.webm 2014-02-22 13:19 475M [VID] Ada_in_Fedora_Linux.webm 2014-04-03 23:27 109M [VID] Ada_in_Debian_Linux.webm 2014-04-03 22:27 62M [VID] Ada_in_BSD.webm 2014-10-22 10:14 166M [VID] Ada_Task_Pools_Multithreading_Made_Easy.webm 2014-02-18 07:11 376M
Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443