Ada Developers Workshop @ AEiC 2024, Speaker and Talk list

Liste des GroupesRevenir à cl ada 
Sujet : Ada Developers Workshop @ AEiC 2024, Speaker and Talk list
De : irvise_ml (at) *nospam* irvise.xyz (Fernando Oleo / Irvise)
Groupes : comp.lang.ada
Date : 15. May 2024, 13:03:51
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v224qo$r17e$1@dont-email.me>
User-Agent : Mozilla Thunderbird
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 (Belgium)
- "Ada Community Advocacy" by Fernando Oleo Blanco (Spain)
[1] http://www.ada-europe.org/conference2024/adadev.html
[2] http://www.ada-europe.org/conference2024/registration.html
Best regards,
The Ada Developers Workshop organisation team

Date Sujet#  Auteur
15 May 24 * Ada Developers Workshop @ AEiC 2024, Speaker and Talk list3Fernando Oleo / Irvise
28 May 24 `* Re: Ada Developers Workshop @ AEiC 2024, Speaker and Talk list2Dirk Craeynest
1 Jun 24  `- Re: Ada Developers Workshop @ AEiC 2024, Speaker and Talk list1Dirk Craeynest

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal