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: Ada-Europe 2014 early registration deadline approaching Date: Tue, 27 May 2014 20:03:56 +0000 (UTC) Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven Message-ID: Injection-Date: Tue, 27 May 2014 20:03:56 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="2dacc763d5aee253ed9b901ccded1054"; logging-data="5270"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19zI9NbO0I1mBiZ7Sfue38CLw6QY2dnt2Q=" Summary: Early registration discount until June 8. Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Paris,France Originator: dirk@feles.cs.kuleuven.be. (Dirk Craeynest) Cancel-Lock: sha1:/e9JDtokZ4w+9i9vPIv7hwx+OxE= Xref: news.eternal-september.org comp.lang.ada:20076 fr.comp.lang.ada:61 comp.lang.misc:2935 Date: 2014-05-27T20:03:56+00:00 List-Id: ----------------------------------------------------------------------- 2nd Call for Participation 19th International Conference on Reliable Software Technologies - Ada-Europe 2014 23-27 June 2014, Paris, France http://www.ada-europe.org/conference2014 Organized by Ada-France on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) *** Early registration DEADLINE extended until June 8 *** *** Posters and 16-page Advance Program available online *** *** All registrations via conference web site *** ----------------------------------------------------------------------- The 19th International Conference on Reliable Software Technologies - Ada-Europe 2014 takes place in Paris, France, from June 23 to 27, 2014. It is an exciting event with an outstanding technical program, keynote talks, and exhibition from Tuesday to Thursday, and a rich program of workshops and tutorials on Monday and Friday. 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. An event not to be missed! 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. Extensive information is available on the conference web site, such as the list of accepted papers and industrial presentations, and detailed descriptions of all workshops, tutorials and keynote presentations. Also check the conference web site for registration, accommodation and travel information. Quick overview - Mon 23 & Fri 27: tutorials - Tue 24 - Thu 26: core program Proceedings - published by Springer - volume 8454 in Lecture Notes in Computer Science series (LNCS) - will be available at conference Program co-chairs - Laurent George, LIGM/UPEMLV - ECE Paris, France lgeorge@ieee.org - Tullio Vardanega, University of Padova, Italy tullio.vardanega@unipd.it Invited speakers - Robert Lainé, "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, "From ARTEMIS to ECSEL: Growing a Large Eco-System for High-Dependability Systems", about the results achieved in ARTEMIS and the objectives of the new ECSEL program, as Acting Executive Director and Programme Manager of the ARTEMIS JU - Mohamed Shawky, "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 Workshops (full day) - Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (De-CPS 2014), organized by CEA and Thales - Workshop on "Mixed Criticality Systems" (WMCIS 2014): Challenges of Mixed Criticality Approaches and Benefits for the Industry, organized by ECE Workshop (half day) - "Ada 2012: le point sur le langage" (Ada 2012: Assessing the Language), a special session in French for software managers who want to learn about the current state of Ada, organized by Ada-France Tutorials (full day) - "Robotics Programming", Lars Asplund, Asplund Data, Sweden - "Introduction to Verification with SPARK 2014", Rod Chapman, Altran UK, Yannick Moy, AdaCore, France Tutorials (half day) - "Proving Safety of Parallel/Multi-Threaded Programs", Tucker Taft, AdaCore, USA - "Multicore Programming using Divide-and-Conquer and Work Stealing", Tucker Taft, AdaCore, USA - "Debugging Real-time Systems", Ian Broster and Andrew Coombes, Rapita Systems, UK - "Developing Mixed-Criticality Systems with GNAT/ORK and Xtratum", Alfons Crespo, Universidad Politécnica de Valencia, Alejandro Alonso, Universidad Politécnica de Madrid, Jon Pérez, Ikerlan, Spain - "High-Integrity Object-Oriented Programming with Ada 2012", Ben Brosgol, AdaCore, USA - "Ada 2012 (Sub)type and Subprogram Contracts in Practice", Jacob Sparre Andersen, JSA Research & Innovation, Denmark - "Technical Basis of Model Driven Engineering", William Bail, The MITRE Corporation, USA - "An Overview of Software Testing with an Emphasis on Statistical Testing", William Bail, The MITRE Corporation, USA Papers and Presentations - 12 refereed technical papers in sessions on Formal Methods, Uses of Ada, Real-Time Scheduling, Applications - 6 industrial presentations in sessions on Ada in Aerospace, Ada in Railways - 3 presentations in special "Experience Report" session - submissions by authors from 22 countries, and accepted contributions from Austria, Canada, Denmark, France, Germany, Italy, Portugal, Republic of Korea, Spain, Sweden, UK, and USA GNAT Retrospective - 20th anniversary of GNAT as a supported open-source Ada compiler - started new era for distribution and promotion of Ada language - retrospective will look back at these important 20 years Vendor exhibition - 6 exhibitors already committed: AdaCore, AdaLabs, Altran, Ellidiss Software, Rapita Systems, and Squoring Technologies; others expected to confirm soon - 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 evening: Welcome Party - Wednesday evening: Cruise and Conference Banquet, the traditional Ada-Europe banquet will be on board an all-glass luxury boat, cruising along the Seine right in the heart of Paris! Registration - early registration discount up to Sunday June 8, 2014 - additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members - a limited number of student discounts is available - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes all social events - payment possible by credit card, check, or bank transfer - see registration page for info on novel student waiver program! - Promotion - support Ada-Europe 2014 with promotional material available at - use ready-to-print posters in your office, university, etc. - 16-page Advance Program brochure available online at Please make sure you book accommodation as soon as possible. Paris will be very busy in that week. For more info and latest updates see the conference web site at . ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2014 Publicity Chair Dirk.Craeynest@cs.kuleuven.be *** 19th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2014 *** June 23-27, 2014 **** Paris, France **** http://www.ada-europe.org (V8.1)