----------------------------------------------------------------------- Call for Participation *** PROGRAM SUMMARY *** 24th International Conference on Reliable Software Technologies - Ada-Europe 2019 11-14 June 2019, Warsaw, Poland http://www.ada-europe.org/conference2019 Organized by EDC and Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) *** Online registration open *** *** Early registration discount until May 20 *** *** Extensive info available on conference web site *** *** Highly recommended to book your hotel ASAP *** ----------------------------------------------------------------------- The 24th International Conference on Reliable Software Technologies - Ada-Europe 2019 visits Poland, for the first time, and is hosted in Warsaw from the 11th to the 14th of June. The conference 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 Ada 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. Extensive information is on the conference web site, such as an overview of the program, the list of accepted papers and industrial presentations, and descriptions of workshops, tutorials, keynote presentations, and social events. Also check the conference site for registration, accommodation and travel information. The 12-page Advance Program brochure is available there as well. The 2019 edition of the conference features a number of important innovations: - lower registration fee for conference, unified for all participants; - further reduced fee for all authors; - lower registration fee for all tutorials; - journal-based open-access publication model for peer-reviewed papers; - an educational tutorial offered especially for those new to Ada; - more compact program with two core days (Wed & Thu); tutorials on Tuesday, then exhibition opening mid-afternoon, followed by welcome aperitif for all participants; - full-day DeCPS workshop on Friday (complementary with conference registration). Quick overview - Tue 11: tutorials, opening exhibition + AE GA, welcome reception - Wed 12 & Thu 13: core program - Fri 14: workshop Proceedings - peer-reviewed papers in open-access journal - industrial presentation and tutorial abstracts in Ada User Journal Conference & Program Chair - Tullio Vardanega, University of Padua, Italy tullio.vardanega at unipd.it Keynote speakers - Tucker Taft, AdaCore, USA, "A 2020 View of Ada" - other keynote to be confirmed (see conference web site) Workshop (full day) - 6th International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (DeCPS 2019) Tutorials (full day) - "Controlling I/O Devices with Ada, using the Remote I/O Protocol" Philip Munts, Sweden - "An Introduction to Ada" Jean-Pierre Rosen, Adalog, France Papers and Presentations - sessions on Assurance Issues in Critical Systems, Tooling Aid for Verification, Best Practices for Critical Applications, Uses of Ada in Challenging Environments, Verification Challenges, Real-Time Systems - 9 refereed technical papers - 8 industrial presentations and experience reports - a speaker's corner on "Experience from 40 years of teaching Ada" Vendor exhibition and networking area - area features exhibitor booths, project posters, reserved vendor tables, and general networking options - 4 companies already committed: AdaCore, PTC Developer Tools, Rapita Systems, Vector; some exhibition slots still available - vendor presentation sessions in core program Social events - each day: coffee breaks in the exhibition space and sit-down lunches offer ample time for interaction and networking - Tuesday afternoon: opening of exhibition & Ada-Europe General Assembly, Welcome Aperitif on terrace overlooking Warsaw Airport - Wednesday evening: transportation to restaurant in town where Chopin was born, banquet with Polish cuisine, drinks, and live piano music - Best Paper and Best Presentation awards will be handed out Registration - online registration is open at <https://registration.ada-europe.org/index.html> - early registration discount until Monday May 20, 2019 - special low fee for authors - discount for Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members - extra discount for students - registration includes coffee breaks and lunches - full conference registration includes all social events - tutorial fees substantially reduced - payment possible by credit card or bank transfer - see registration page for all details Promotion - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2019 - 12-page Advance Program brochure online at <http://www.ada-europe.org/conference2019/AE-2019%20AP.pdf> - support Ada-Europe 2019 with promotional poster at <http://www.ada-europe.org/conference2019/picts/AE2019_poster.pdf> Please make sure you book accommodation as soon as possible. For more info and latest updates see the conference web site at <http://www.ada-europe.org/conference2019>. We look forward to seeing you in Warsaw in June 2019! ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2019 Publicity Chair Dirk.Craeynest@cs.kuleuven.be *** 24th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2019 June 11-14, 2019 * Warsaw, Poland * www.ada-europe.org/conference2019