Index of /video.fosdem.org/2014/K4601/Saturday

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