----------------------------------------------------------------------- UPDATED Call for Participation *** Early registration DEADLINE May 27 *** 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) 10-13 June 2025, Paris, France www.ada-europe.org/conference2025 *** Extensive info and registration online *** *** Add tutorials and/or a workshop to your conference registration *** #AEiC2025 #AdaEurope #AdaProgramming Organized by Ada-Europe and Ada-France, in cooperation with ACM SIGPLAN, supported and sponsored by Embedded France, AdaCore, Emenda, Systerel, Scitools, Pacte Novation, Institut Frederik Bull, and Mines Paris ----------------------------------------------------------------------- *** UPDATE Ada-Europe - AEiC 2025 early registration deadline imminent Register now: discounted fees until May 27! <http://www.ada-europe.org/conference2025/registration.html> Come to the Ada-Europe conference in Paris, experience a packed program in an exciting town, benefit from tutorials on Tuesday, join a workshop on Friday, enjoy the social events and some sightseeing! Extra conference sponsorship allows for an extremely low 25 EUR fee for the Ada Developers Workshop on Friday! See below for an overview, and visit our website for more details about the conference program, registration fees, social events and much more. *** General Information The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) returns after 11 years to Paris, France. The conference schedule comprises keynote and invited talks, a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops. There will be time for networking during breaks and lunches, as well as various social events. AEiC 2025 is the latest in a series of annual international conferences started in the early 80's, under the auspices of Ada-Europe, the international organization that promotes knowledge and use of the Ada programming language and reliable software in general, into academic education and research, and industrial practice. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. The 2025 edition of the conference continues a number of important innovations started in previous years: - reduced conference registration fee for all authors; - extra low registration fee for Ada Developers workshop; - journal-based open-access publication model for peer-reviewed papers; - compact program with two core days (Wednesday & Thursday); - tutorials on Tuesday, followed by welcome event for all participants; - workshops on Friday, optional chill event on Thursday evening. *** Overview of the Week <http://www.ada-europe.org/conference2025/overview.html> - Tue 10: 4 half-day tutorials, 1 full-day tutorial, welcome reception; - Wed 11: core technical program, conference banquet; - Thu 12: core technical program, post conference chill-out; - Fri 13: 3 full-day workshops. The AEiC 2025 website has extensive information, such as an overview of the program and the schedule, the list of accepted papers and presentations, and descriptions of workshops, tutorials, keynote and invited presentations, and social events. Also check the conference site for registration, accommodation and travel information. The Final Program brochure will be available there as well. *** Venue <http://www.ada-europe.org/conference2025/venue.html> The conference will take place at Mines Paris, a founding member of Université PSL, a leading French engineering school and the French leader institution in research partnerships. It is located along the Luxembourg gardens, next to the Quartier Latin, and is close to public transportation, including line B of the RER to Charles De Gaulle airport (CDG). Paris, the capital city of France, is renowned for its rich history, stunning architecture, and vibrant culture. Often referred to as "The City of Light" Paris is home to iconic landmarks such as the Eiffel Tower, the Louvre Museum, and Notre-Dame Cathedral. If you can stay over before or after the conference, there's a lot to see. Check the Practical Information section of the conference website for more info. *** Invited Speakers <http://www.ada-europe.org/conference2025/keynotes.html> This year the conference will once more feature keynotes and invited talks. All will address topics of relevance in the conference scope, with time for questions and answers. - On Wednesday morning, June 11, a keynote talk by Stefano Zacchiroli, of Télécom Paris, France, on "Building a Safer Open Source Supply Chain with Software Heritage, the Great Library of Source Code". - On Wednesday afternoon, June 11, an invited talk by Tullio Vardanega, from University of Padua, Italy, on "Language Ownership: Key Moments in the Lifetime of Ada". - On Thursday morning, June 12, a keynote talk by Claire Pagetti, of ONERA, France, on "Certification of Machine Learning Based System - Contribution of Formal Verification". *** Conference Core Composition <https://www.ada-europe.org/conference2025/overview.html#title1> The core conference program features six distinct types of technical presentations, with different duration, all followed by various manners of discussion time: journal-track talk (30 minutes), industrial-track talk (20 minutes), work-in-progress-track talk (20 minutes), vendor presentations (20 minutes), keynote (1 hour), invited talk (30 minutes). All papers presented in the journal track, the industrial track and the work-in-progress track have undergone peer review. Presentations are combined into by-theme and not by-track sessions, in order that authors and participants alike enjoy all flavors of the program in a mixed as opposed to segregated combination. The list of accepted papers and presentations, and the detailed schedule, is available on the conference website at <https://www.ada-europe.org/conference2025/overview.html#schedule> Papers and Presentations: - 2 keynotes and 1 invited presentation; - 6 sessions with a mix of presentations on various topics: Secure Distributed Systems, Ada and Modeling, Multi-core Architectures, Embedded Systems, Real-time and Safety, and Applications; - 6 journal-track talks; - 9 work-in-progress reports; - 4 industrial presentations and experience reports; - 2 vendor presentations; - submissions from around the world. *** Tutorials <http://www.ada-europe.org/conference2025/tutorials.html> A full-day tutorial is offered on Tuesday 10th: - "Developing Bare-metal Embedded Software in SPARK Ada for 64-bit ARM Platforms", by J. Germán Rivera, Tesla, USA. A hands-on tutorial. Attendees are encouraged to bring their own RaspberryPI boards, a development laptop, and a USB-to-serial cable. In parallel, four half-day tutorials are scheduled: - "Multiple Double and Multiword Arithmetic", by Jan Verschelde, University of Illinois at Chicago, USA. "Quality up" is often more meaningful than "speedup": instead of using multi-processors to obtain results faster, obtain results that are more accurate. - "Unleash the Power of Ada Generics", by Gautier de Montmollin, Ada-Switzerland, Switzerland. Generics, known elsewhere as templates or macros, form an abstraction that is prosaically a smart version of a text with gaps, which helps to eliminate code duplication. The Ada flavor of generics, available since the first Ada standard, is remarkably powerful. - "Turning your Programming Language into a Modeling Language", by S. Tucker Taft, AdaCore, USA. An introduction to how one could create a productive framework for performing modeling within your favorite programming language. - "Introduction to the ALiRe Package Manager", by Quentin Dauprat, Université de Caen, Normandie, France. The ALiRe project (Ada Library Repository) is a community-oriented package manager for the Ada and SPARK open source ecosystem. Tackles the use of Alire to bootstrap a project with the support of libraries available (and not available) in the community index. *** Satellite Events Three workshops are held on Friday 13th: - 4th ADEPT workshop "AADL by its practitioners". <http://www.ada-europe.org/conference2025/workshop_adept.html> - 10th International Workshop on "Challenges and New Approaches for Dependable and Cyber-Physical System Engineering" (DeCPS 2025). <http://www.ada-europe.org/conference2025/decps.html> - 2nd "Ada Developers Workshop", an informal yet dynamic gathering for developers in the Ada community to meet, share insights, and present their latest projects or project updates; a full "Ada day" with 8 technical presentations on Ada-related topics and 10 authors from 5 countries: Belgium, France, Spain, Switzerland, and USA. <http://www.ada-europe.org/conference2025/workshop_adadev.html> *** Social Program <http://www.ada-europe.org/conference2025/social_program.html> The conference provides several opportunities to socialize: - Each day: coffee breaks and lunches offer ample time for interaction and networking with participants and vendors. - Tuesday evening: Welcome Reception at "Table du Luxembourg". The usual welcome "apéro" will take place at this nice restaurant right in the middle of the Luxembourg garden, a Parisians' favorite! - On conference days: Mineralogy Museum. The École des Mines features a splendid Mineralogy museum. During the conference, you can access it free of charge by showing your name badge. Do not miss this opportunity! - Wednesday evening: Conference Banquet at the "Bouillon Racine", a typical Parisian restaurant built in 1906 and classified as "historical monument". The restaurant is located within walking distance from the conference location. We will have dinner in the beautiful dining room on the first floor, an authentic turn of the 20th century decoration. - Thursday evening: Chill Event at the Café Latin, a casual typical café, to have a little chat with colleagues during an informal dinner (separate registration). For those who want to get a feeling of the Latin Quarter, we prepared an itinerary that will show you the main milestones of the neighborhood while walking to the Café Latin. *** Further Information Registration: - registration information is provided at <http://www.ada-europe.org/conference2025/registration.html> - early registration discount until Tuesday May 27, 2025 - payment possible by credit card or bank transfer - special low conference fee for authors - discount for Ada-Europe and ACM SIGPLAN members - registration includes coffee breaks, lunches and social events - strong discount on conference fees for students - minimal fee for Ada Developers Workshop - see registration page for all details Promotion: - recommended hashtags: #AEiC2025 #AdaEurope #AdaProgramming The conference is organized by: - Ada-Europe <http://www.ada-europe.org/> - Ada-France <https://www.ada-france.org/> in cooperation with: - ACM SIGPLAN <http://www.sigplan.org/> supported and sponsored by: - Embedded France <https://www.embedded-france.org/> - AdaCore <https://www.adacore.com/> - Emenda <https://emenda.com/> - Systerel <https://www.systerel.fr/> - Scitools <https://scitools.com/> - Pacte Novation <https://www.pactenovation.fr/index.php/ logiciel-critique-ada-fondements-et-enjeux/> - Institut Frederik Bull <https://institutbull.fr/> - Mines Paris <https://www.minesparis.psl.eu/> Please make sure you book accommodation as soon as possible. <https://www.ada-europe.org/conference2025/accommodation.html> For more info and latest updates see the conference website at <http://www.ada-europe.org/conference2025>. We look forward to seeing you in Paris in June 2025! ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2025 Publicity Chair Dirk.Craeynest@cs.kuleuven.be Dirk.Craeynest@kuleuven.be * 29th Ada-Europe Int.Conf. Reliable Software Technologies (AEiC 2025) * June 10-13, 2025, Paris, France * www.ada-europe.org/conference2025