From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: dirk@feles.cs.kuleuven.be. (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc Subject: Press Release - Reliable Software Technologies, Ada-Europe 2014 Date: Tue, 17 Jun 2014 20:37:03 +0000 (UTC) Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven Message-ID: Injection-Date: Tue, 17 Jun 2014 20:37:03 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="2dacc763d5aee253ed9b901ccded1054"; logging-data="12853"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19m4VdUzZnTm+Nvk339axgjAOMgJbsimLQ=" Summary: Interested in reliable software? Register now for this event! Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Paris,France Originator: dirk@feles.cs.kuleuven.be. (Dirk Craeynest) Cancel-Lock: sha1:6IWWYHeSoUlKvQXYnX/X8tLGkb4= Xref: news.eternal-september.org comp.lang.ada:20416 fr.comp.lang.ada:63 comp.lang.misc:2963 Date: 2014-06-17T20:37:03+00:00 List-Id: ----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 19th International Conference on Reliable Software Technologies - Ada-Europe 2014 23-27 June 2014, Paris, France http://www.ada-europe.org/conference2014 *** Full Program available on conference web site *** *** Check out the tutorials and workshops! *** *** Printed proceedings available *** *** Register now! *** ----------------------------------------------------------------------- Press release: 19th Ada-Europe Conference on Reliable Software Technologies International experts meet in Paris Paris (17 June 2014) - Ada-France and Ada-Europe organize from 23 to 27 June 2014 the "19th International Conference on Reliable Software Technologies - Ada-Europe 2014" in Paris, France. The event is organized in cooperation with ACM's Special Interest Groups on Ada (SIGAda), on Embedded Systems (SIGBED), and on Programming Languages (SIGPLAN), and with the Ada Resource Association (ARA). The Ada-Europe series of conferences has become established as a successful international forum for providers, practitioners and researchers in all aspects of reliable software technologies. These events highlight the increased relevance of Ada in safety- and security-critical systems, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. This year's conference offers two days of tutorials and workshops, three keynotes, a full technical program of refereed papers and industrial presentations, a special GNAT Retrospective session, a parallel Ada-France day "Ada 2012: le point sur le langage" for French software managers, an industrial exhibition and vendor presentations, and a social program. Ten excellent tutorials on Monday and Friday cover a broad range of topics: Proving Safety of Parallel/Multi-Threaded Programs, Multicore Programming using Divide-and-Conquer and Work Stealing, Debugging Real-time Systems, Developing Mixed-Criticality Systems with GNAT/ORK and Xtratum, High-Integrity Object-Oriented Programming with Ada 2012, Ada 2012 (Sub)type and Subprogram Contracts in Practice, Technical Basis of Model Driven Engineering, An Overview of Software Testing with an Emphasis on Statistical Testing, Robotics Programming, Introduction to Verification with SPARK 2014. In addition, on Monday there's a workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (De-CPS 2014), and on Friday a workshop on "Mixed Criticality Systems" (WMCIS 2014): Challenges of Mixed Criticality Approaches and Benefits for the Industry. Three eminent keynote speakers have been invited to open each day of the core conference program. Robert Lainé speaks about "Lessons Learned and Easily Forgotten", drawing from his many years of experience in space projects leadership at the European Space Agency and EADS Astrium. Alun Foster presents "From ARTEMIS to ECSEL: Growing a Large Eco-System for High-Dependability Systems", as Acting Executive Director and Programme Manager of the ARTEMIS JU. Mohamed Shawky talks about "Future Challenges in Design Tools and Frameworks for Embedded Systems; Application to Intelligent Transportation Systems", presenting his futuristic work at the Université de Technologie Compiègne. The technical program presents 12 refereed and carefully selected papers on the latest research, new tools, applications and industrial practice and experience, a collection of 6 industrial presentations reflecting current practice and challenges, 3 experience reports, vendor presentations, and a special "GNAT Retrospective" to celebrate the 20th anniversary of GNAT as a supported open-source Ada compiler. Springer Verlag publishes the proceedings of the conference, as LNCS Vol. 8454. The industrial exhibition opens Tuesday morning and runs until the end of Thursday afternoon. Exhibitors include AdaCore, AdaLabs, Altran, Cambridge University Press, Ellidiss Software, Rapita Systems, and Squoring Technologies. The social program includes a "Welcome Party" on Tuesday evening, and on Wednesday evening the traditional Ada-Europe Conference Banquet will be on board an all-glass luxury boat, cruising along the Seine right in the heart of Paris! Each day, coffee breaks in the exhibition area and sit-down lunches offer ample time for interaction and networking. The conference is hosted by ECE, a French engineering school located near the Tour Eiffel, right in the heart of Paris, with convenient connections to all places of interest, and lots of facilities around. The full program is available on the conference web site. Registration is still possible. ------- Latest updates: - The 16-page "Advance Program" is available on the conference web site at . - Check out the 10 tutorials in the program (PDF) or in the on-line tutorial schedule at . - The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 8454, are ready and will be distributed at the conference. More info is available at . - Registration fees are very reasonable and the registration process is done on-line. Don't delay! For all details, see . - For the latest information consult the conference web site . ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2014 Publicity Chair *** 19th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2014 *** June 23-27, 2014 **** Paris, France **** http://www.ada-europe.org (V9.1)