Index of /pub/fosdem-video/2014/K4601/Saturday

      Name                                                               Last modified      Size  Description
      Parent Directory                                                                        -   
      Wrap_Up_Future_Plans.webm                                          2014-10-22 09:14  4.2M  
      Welcome.webm                                                       2014-03-14 18:11   19M  
      Speedup_and_Quality_Up_with_Ada_Tasking.webm                       2014-07-27 14:29  139M  
      Safer_Web_Servers_with_Ada_and_AWS.webm                            2014-07-27 14:29  437M  
      SPARK_2014_Hybrid_Verification_using_Proofs_and_Tests.webm         2014-02-18 06:47  387M  
      Introduction_to_Ada_for_Beginning_and_Experienced_Programmers.webm 2014-02-18 06:47  417M  
      Formal_Verification_with_Ada_2012_a_Very_Simple_Case_Study.webm    2014-02-22 11:34  199M  
      Contract_Based_Programming_in_Ada_2012.webm                        2014-02-22 12:19  475M  
      Ada_in_Fedora_Linux.webm                                           2014-04-03 22:27  109M  
      Ada_in_Debian_Linux.webm                                           2014-04-03 21:27   62M  
      Ada_in_BSD.webm                                                    2014-10-22 09:14  166M  
      Ada_Task_Pools_Multithreading_Made_Easy.webm                       2014-02-18 06:11  376M