From: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
Subject: FOSDEM 2014 - Presentations Ada Developer Room on-line
Date: Sat, 15 Feb 2014 21:10:42 +0000 (UTC)
Date: 2014-02-15T21:10:42+00:00 [thread overview]
Message-ID: <ldol4i$utn$1@dont-email.me> (raw)
[-- 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)
reply other threads:[~2014-02-15 21:10 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox