Members of the #AdaProgramming language community met yesterday, in a "tropical" Paris and online, at the 2nd Ada Developers Workshop #AdaDevWS held at the 29th #AdaEurope International Conference on Reliable Software Technologies #AEiC2025. "And there was much rejoicing!" ;-)

Final topic in #AdaDevWS at #AEiC2024: Ada Community Advocacy discussion session! #AdaProgramming

Jean-Pierre Rosen now at #AdaDevWS telling us "an Ada story of time".

In-person and remote participants ready for 1st afternoon session of #AdaDevWS at #AEiC2024: #Ironclad, a formally verified OS kernel in SPARK/Ada. #AdaProgramming #SPARKprogramming

Next #AdaDevWS presentation: #HiRTOS written in SPARK Ada. #SPARKprogramming #AdaProgramming

New features in #Alire, the #AdaProgramming language LIbrary REpository, coming up next in the #AdaDevWS

Bold #AdaProgramming statement of the day by Jeffrey Carter at #AdaDevWS: access types are never needed* *for the footnote see (the recording of) the session...

Today's the day! Ada Developers Workshop #AdaDevWS at 28th Ada-Europe Intl. Conference on Reliable Software Technologies #AEiC2024: full-day program, 9 presentations on various #AdaProgramming related topics, 8 authors from 5 countries: Belgium, France, Italy, Spain, and USA.

For a full day of #AdaProgramming language related presentations, join the Ada Developers Workshop #AdaDevWS at the #AdaEurope conference #AEiC2024 in Barcelona (or online) on Friday 14 June 2024. Don't delay, register today!