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

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...

Gearing up for Jeffrey Carter's presentation of Controlled I/O at #AdaDevWS

Quick additional live #SweetAda demo at #AdaDevWS before the break...

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

Remote presentation on 'Soaring the Clouds with AdaWebPack' at #AdaDevWS, to increase situational awareness of glider pilots. #AdaProgramming

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

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!" ;-)

Here we go! 1st presentation of #AdaDevWS at #AEiC2024 in #Barcelona and #online.

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

Slides and video recordings of all technical presentations will be uploaded to the #AdaDevWS webpage at

#AEiC2025 #AdaDevWS #AdaProgramming - Ada Developers Workshop - CfP reminder:

The room for in-person participants at the Ada Developers Workshop #AdaDevWS will be quite full, though some places remain. 1/n

@nsthr1 @yokoonobot For now, my last #AdaProgramming language sighting was as recent as last week at the 28th #AdaEurope International Conference on Reliable Software Technologies #AEiC2024, and especially at the Ada Developers Workshop #AdaDevWS there last Friday...

Remember that registration is still open for the Ada Developers Workshop #AdaDevWS at the #AdaEurope conference #AEiC2024 in Barcelona on Friday 14 June 2024. Some places remain for in-person participation, many remain for remote participation. ;-) #AdaProgramming

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.

@AdaCoreCompany The video recording and slides of the #AdaProgramming talk mentioned in the blog entry, as well as all other talks held at the Ada Developers Workshop #AdaDevWS on 14 June at the 28th #AdaEurope International Conference #AEiC2024, are available at

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!