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

*** 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 Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

#AdaFOSDEM #AdaProgramming #AdaBelgium #AdaEurope

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