help / color / mirror / Atom feed
* Ada Developers Workshop @ AEiC 2024, Speaker and Talk list
@ 2024-05-15 11:03 Fernando Oleo / Irvise
  2024-05-28 10:15 ` Dirk Craeynest
  0 siblings, 1 reply; 3+ messages in thread
From: Fernando Oleo / Irvise @ 2024-05-15 11:03 UTC (permalink / raw)

Dear all,

the list of speakers, talks and schedule for the Ada Developer Workshop 
has been published [1]. The Workshop will take place on the 14th of June 
in Barcelona. The entry has a small price of 10€ if paid before the 20th 
of May and 20€ if later. The price covers the cost of two coffee breaks 
and a meal. You can find more information in the registration page [2]

Here is a short summary of what will be shown during the workshop:

- "SweetAda: a Multi-architecture Embedded Development Framework" by 
Gabrielle Galeotti (Italy), Fernando Oleo Blanco (Spain)
- "Avoiding Access Types"  by Jeffrey R. Carter (Belgium)
- "G-NAV: Soaring the Clouds with AdaWebPack" by Guillermo A. 
Hazenbrouck (Belgium)
- "Alire 2.0: a Quality of Life Update" by Alejandro Mosteo (Spain)
- "HiRTOS: a Multicore RTOS Written in SPARK Ada"  by J. German Rivera (USA)
- "Ironclad: a Formally Verified OS Kernel Written in SPARK/Ada" by 
Cristian Simon (Spain)
- "An Ada Story of Time" by Jean-Pierre Rosen (France)
- "Controlled I/O: a Library for Scope-Based Files" by Jeffrey R. Carter 
- "Ada Community Advocacy" by Fernando Oleo Blanco (Spain)


Best regards,
The Ada Developers Workshop organisation team

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2024-06-01 10:10 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-05-15 11:03 Ada Developers Workshop @ AEiC 2024, Speaker and Talk list Fernando Oleo / Irvise
2024-05-28 10:15 ` Dirk Craeynest
2024-06-01 10:10   ` Dirk Craeynest

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox