TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

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

Print Reply
Subject:
From:
Dirk Craeynest <[log in to unmask]>
Reply To:
Team Ada: Ada Programming Language Advocacy
Date:
Mon, 25 Feb 2019 08:06:53 +0100
Content-Type:
text/plain
Parts/Attachments:
text/plain (75 lines)
-----------------------------------------------------------------------

        *** Presentations, videos, pictures available online ***

                 9th Ada Developer Room at FOSDEM 2019

                        Saturday 2 February 2019

   Université Libre de Bruxelles (ULB), Solbosch Campus, Room AW1.125
     Avenue Franklin D. Roosevelt Laan 50, B-1050 Brussels, Belgium

                Organized in cooperation with Ada-Europe

   www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202-fosdem.html
                   fosdem.org/2019/schedule/track/ada

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

All presentations and video recordings as well as some pictures from
the 9th Ada Developer Room, held at FOSDEM 2019 in Brussels recently,
are available via the Ada-Belgium and FOSDEM web sites now.

- "Welcome to the Ada DevRoom"
        by Dirk Craeynest - Ada-Belgium
- "An Introduction to Ada for Beginning and Experienced Programmers"
        by Jean-Pierre Rosen - Adalog
- "Sequential Programming in Ada: Lessons Learned"
        by Joakim Strandberg - Mequinox
- "Autonomous Train Control Systems: a First Approach"
        by Julia Teissl - FH Campus Wien
- "Controlling the Execution of Parallel Algorithms in Ada"
        by Jan Verschelde - University of Illinois at Chicago
- "Persistence with Ada Database Objects"
        by Stephane Carrez - Twinlife
- "Shrink your Data to (almost) Nothing with Trained Compression"
        by Gautier de Montmollin - Ada-Switzerland
- "GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows"
        by Nicolas Roche - AdaCore
- "What is Safety-Critical Software, and How Can Ada and SPARK Help?"
        by Jean-Pierre Rosen - Adalog
- "Secure Web Applications with AWA"
        by Stephane Carrez - Twinlife
- "Distributed Computing with Ada and CORBA using PolyORB"
        by Frédéric Praca - Ada-France
- "Cappulada: Smooth Ada Bindings for C++"
        by Johannes Kliemann - Componolit
- "AZip Archive Manager: a full-Ada Open-Source Portable Application"
        by Gautier de Montmollin - Ada-Switzerland
- "Proof of Pointer Programs with Ownership in SPARK"
        by Yannick Moy - AdaCore
- "Alternative Languages for Safe and Secure RISC-V Programming"
        by Fabien Chouteau - AdaCore, in RISC-V DevRoom on Sat 2 Feb
- "RecordFlux: Facilitating Verification of Communication Protocols"
        by Tobias Reiher - Componolit, in Security DevRoom on Sun 3 Feb

Presentation abstracts, speaker bios, pointers to relevant information,
copies of slides, links to corresponding pages and video recordings,
are available via the Ada-Belgium and FOSDEM sites at the URLs above.

Some pictures are posted as well.  If you have more 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 and helpers for their work
and collaboration, thanks to all the FOSDEM organizers and volunteers,
thanks to the many participants for their interest, and thanks to
everyone for another nice experience!

Dirk Craeynest, FOSDEM Ada DevRoom coordinator
[log in to unmask] (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

#AdaFOSDEM #AdaProgramming #AdaBelgium #AdaEurope

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

ATOM RSS1 RSS2