From mboxrd@z Thu Jan 1 00:00:00 1970 Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Fernando Oleo / Irvise Newsgroups: comp.lang.ada Subject: Ada Developers Workshop @ AEiC 2024, Speaker and Talk list Date: Wed, 15 May 2024 13:03:51 +0200 Organization: A noiseless patient Spider Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 15 May 2024 13:03:52 +0200 (CEST) Injection-Info: dont-email.me; posting-host="6f4969c385266ca3909317c9ab0da838"; logging-data="885998"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/xbgQjy1lCMBKHyJYVnzI9" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:qfpQieY2WBsV1vlXJYhQepzm9s4= Content-Language: en-US Xref: news.eternal-september.org comp.lang.ada:66184 List-Id: 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