FOSDEM 2014 - Presentations Ada Developer Room on-line

FOSDEM 2014 - Presentations Ada Developer Room on-line

[Dirk Craeynest]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2529 bytes --]

-----------------------------------------------------------------------

              *** All presentations available on-line ***

                   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 at:

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

Shortly, some pictures and video registrations will be posted as well.
If you have additional pictures or other material you would like to
share, or know someone who does, then please contact me.

Finally, thanks once more to all presenters for their work and
collaboration, thanks to the many participants for their interest,
and thanks to everyone for another nice experience!

Dirk Craeynest
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/-Europe/SIGAda/WG9 mail)

-----------------------------------------------------------------------
(V20140215.1)