From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.9 required=3.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc Subject: Press Release - AEiC 2021, Ada-Europe Reliable Softw. Technol. Date: Sun, 30 May 2021 16:22:28 -0000 (UTC) Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven Message-ID: Injection-Date: Sun, 30 May 2021 16:22:28 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="3ba29cff7fbf6954c46a439f0c8f3a05"; logging-data="1327"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX188COTPVY+NI2swgArujOLeCV/c1Ae0EKM=" Summary: Interested in Ada or reliable software? Register now! Keywords: Conference,academia,industry,reliable,secure,IT,Ada,online Cancel-Lock: sha1:WMWPANQr+4y2TgYsLCp+p5io3YU= Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest) Xref: reader02.eternal-september.org comp.lang.ada:62048 fr.comp.lang.ada:2026 comp.lang.misc:11925 List-Id: ----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021) 7-10 June 2021, Virtual Event www.ada-europe.org/conference2021 *** Check out tutorials! *** www.ada-europe.org/conference2021/tutorials.html *** Don't miss the thematic social events on Tuesday and Wednesday *** *** Full Program available on the conference web site *** *** Register now! *** #AEiC2021 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- Press release: 25th Ada-Europe Int'l Conference on Reliable Software Technologies International experts meet in virtual conference hosted by Underline Santander, Spain (31 May 2021) - Ada-Europe together with the University of Cantabria, Spain organize from 7 to 10 June 2021 the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021). The conference was initially scheduled to take place in Santander, Spain. According to the safety and sanitary measures under the COVID-19 pandemic, this year the conference will be a virtual event, hosted by Underline (https://underline.io). The event is in cooperation with the Ada Resource Association (ARA), and with ACM's Special Interest Groups on Ada (SIGAda), on Embedded Systems (SIGBED) and on Programming Languages (SIGPLAN). 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. This year's conference offers 5 tutorials, 3 keynotes, a technical program of 7 sessions with refereed papers, invited and industrial presentations, a work-in-progress session, an industrial exhibition and vendor presentations, and a social program. Five parallel tutorials are scheduled on Monday, targeting different audiences: - "Programming mobile robots with ROS2 and the RCLAda Ada client library", by Alejandro R. Mosteo; - "Introduction to the development of safety critical software", by Jean-Pierre Rosen; - "Parallel programming with Ada and OpenMP", by Sara Royuela, S. Tucker Taft, Luis Miguel Pinho; - "Timing verification from UML & MARTE design models: techniques & tools", by Laurent Rioux, Julio Medina and Shuai Li; - "Programming shared memory computers", by Jan Verschelde. Tutorial registration is complementary for conference participants. The industrial exhibition opens Tuesday under the Expo area in the virtual platform and also in the Lounge, which is the networking area. It runs until the end of Thursday afternoon. Exhibitors include AdaCore, PTC Developer Tools, and Ada-Europe. All conference participants are invited to the exhibition as well as to the virtual social events. Three eminent speakers have been invited to deliver a keynote at each of the core conference days: - Ángel Conde, Data Analytics and Artificial Intelligence team leader at IKERLAN (Spain), who will present his work on "Software reliability in the Big Data era with an industry-minded focus"; - Alfons Crespo, who is with the Institute of Automation and Industrial Informatics of the Universitat Politècnica de València (Spain), will give an answer to the question "Why hypervisor-based approach is the best alternative for mixed-criticality systems"; - Tucker Taft, who is Director of Language Research at AdaCore (USA), will talk on "A sampling of Ada 2022". The technical program from Tuesday to Thursday presents 13 refereed technical papers and 5 invited, 6 industrial and 4 vendor presentations in sessions on: - Scheduling and mixed-criticality systems, - Software modeling, - Autonomous systems, - Ada issues and Ravenscar, - Validation and verification tools, - Emerging applications with reliability requirements, - Safety challenges. In addition, there is a work-in-progress session including 8 presentations and associated posters. Peer-reviewed papers have been submitted to a special issue of the Journal of Systems Architecture and are heading towards final acceptance as open-access publications. Industrial and work-in-progress presentations, together with tutorial abstracts, will be offered publication in the Ada User Journal, the quarterly magazine of Ada-Europe. The social program is hosted in a space under the gather.town environment that allows informal and lively gathering of the participants. This space has different areas, such as rooms, tables, and corners where a participant can approach to talk though videoconferencing with participants in the same virtual area. This facility will be used for the breaks, poster session, exhibition and social events. Don't miss the thematic social events at the end of each core conference day. The Best Presentation Award will be offered during the Closing session. The full program is available on the conference web site. Online registration is still possible. ------- Latest updates: The "Final Program" is available at www.ada-europe.org/conference2021/final-program.pdf. Check out the tutorials in the PDF program, or in the schedule at www.ada-europe.org/conference2021/tutorials.html. Registration fees are lower than ever and the registration process is done on-line. Don't delay! For all details, select "Registration" at www.ada-europe.org/conference2021 or go directly to https://registration.ada-europe.org. The technical sessions are designed with the flipped-conference concept, where the audience can access pre-recorded presentation materials in advance. The live sessions are devoted to short presentations of the highlights of each contribution, allowing ample time for questions and answers with the presenter. The recorded materials will also be available for some time after their sessions. The program runs between 12:30 and 18:30 CEST, to allow participation from different time zones. For more info and latest updates see the conference web site at www.ada-europe.org/conference2021. AEiC 2021 is sponsored by AdaCore (www.adacore.com), Ellidiss (www.ellidiss.com), PTC Developer Tools (www.ptc.com/developer-tools), Universidad de Cantabria (web.unican.es/en), and Vector (www.vector.com/at/en). Help promote the conference by advertising it. Recommended Twitter hashtags: #AdaEurope and/or #AEiC2021. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2021 Publicity Chair (aka Ada-Europe 2021), Dirk.Craeynest@cs.kuleuven.be * 25th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2021) * June 7-10, 2021 * online event * www.ada-europe.org/conference2021 ** (V6.1)