Ada Developer Room at FOSDEM 2014

(Ada at the Free and Open Source Software Developers' European Meeting)
Saturday 1 February 2014
Université Libre de Bruxelles (U.L.B.), Solbosch Campus, Room K.4.601 Avenue Franklin D. Roosevelt Laan 50, B-1050 Brussels, Belgium
Organized in cooperation with Ada-Europe

http://www.cs.kuleuven.be/~dirk/ada-belgium/events/14/140201-fosdem.html

All presentations from our 5th Ada Developer Room, held at FOSDEM 2014 in Brussels recently, are available on the Ada-Belgium web site.

- "Welcome"
by Dirk Craeynest - Ada-Belgium
- "An Introduction to Ada for Beginning and Experienced Programmers"
by Jean-Pierre Rosen - Adalog
- "Ada Task Pools: Multithreading Made Easy"
by Ludovic Brenta - Debian Project
- "SPARK 2014: Hybrid Verification using Proofs and Tests"
by José F. Ruiz - AdaCore
- "Contract Based Programming in Ada 2012"
by Jacob Sparre Andersen - JSA Research & Innovation
- "Formal Verification with Ada 2012: a Very Simple Case Study"
by Didier Willame - Argonauts-IT
- "Speedup and Quality Up with Ada Tasking (Solving polynomial systems faster and better on multicore computers with PHCpack)"
by Jan Verschelde - University of Illinois at Chicago
- "Safer Web Servers with Ada and AWS"
by Jean-Pierre Rosen - Adalog
- "Ada in Fedora Linux"
by Pavel Zhukov - Fedora Project
- "Ada in Debian Linux"
by Ludovic Brenta - Debian Project
- "Ada in *BSD"
by John Marino - FreeBSD Project

Presentation abstracts, copies of slides, speakers bios, pointers to relevant information, links to other sites, etc., are all available on the
Ada-Belgium site
.

Shortly, some pictures and video registrations will be posted as well.