TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Date:
Sat, 15 Feb 2014 22:12:46 +0100
Reply-To:
"Team Ada: Ada Programming Language Advocacy" <[log in to unmask]>
Subject:
MIME-Version:
1.0
Message-ID:
Content-Type:
text/plain; charset="ISO-8859-1"
From:
Dirk Craeynest <[log in to unmask]>
Content-Transfer-Encoding:
8bit
Parts/Attachments:
text/plain (75 lines)
-----------------------------------------------------------------------

              *** 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
[log in to unmask] (for Ada-Belgium/-Europe/SIGAda/WG9 mail)

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


Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

############################

To unsubscribe from the TEAM-ADA list:
write to: mailto:[log in to unmask]
or click the following link:
http://listserv.acm.org/scripts/wa-ACMLPX.exe?SUBED1=TEAM-ADA&A=1

ATOM RSS1 RSS2