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.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.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: 21st Int.Conf. Reliable Software Technologies, Ada-Europe 2016 Date: Sat, 26 Mar 2016 21:31:39 -0000 (UTC) Organization: Ada-Europe, c/o Dept. of Computer Science, KU Leuven Message-ID: Injection-Date: Sat, 26 Mar 2016 21:31:39 -0000 (UTC) Injection-Info: mx02.eternal-september.org; posting-host="2dacc763d5aee253ed9b901ccded1054"; logging-data="2725"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19Q4bHbCZMonMc7dtq9KZjQFWVy9/6m/s0=" Summary: Program information is online. Registration will open soon. Keywords: Conference,industry,reliability,multicore,Ada,LNCS,Pisa,Italy Originator: dirk@feles.cs.kuleuven.be. (Dirk Craeynest) Cancel-Lock: sha1:gBQzrLCUIzN056NiQ5Z155r0O44= Xref: news.eternal-september.org comp.lang.ada:29902 fr.comp.lang.ada:438 comp.lang.misc:3619 Date: 2016-03-26T21:31:39+00:00 List-Id: ----------------------------------------------------------------------- Preliminary Call for Participation *** PROGRAM SUMMARY *** 21st International Conference on Reliable Software Technologies - Ada-Europe 2016 13-17 June 2016, Pisa, Italy http://www.ada-europe.org/conference2016 Organized by Scuola Superiore Sant'Anna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) *** Highly recommended to book your hotel ASAP!*** *** Online registration will open soon *** *** Extensive info available on conference web site *** *** Early registration discount until May 9 *** ----------------------------------------------------------------------- The 21st International Conference on Reliable Software Technologies - Ada-Europe 2016 takes place in Pisa, Italy, from June 13 to 17, 2016. It is an exciting event with an outstanding technical program, keynote talks, exhibition and networking from Tuesday to Thursday, and a rich program of workshops and tutorials on Monday and Friday. The conference is hosted by Scuola Superiore Sant'Anna, located in the heart of Pisa. The Scuola can be easily reached from the Campo dei Miracoli airport or the railway station. 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 already available on the conference web site, such as an overview of the program, and detailed descriptions of workshops and tutorials. Also check the conference web site for registration, accommodation and travel information. The list of accepted papers and industrial presentations, and descriptions of the keynote presentations will be added shortly. Quick overview - Mon 13 & Fri 17: tutorials + workshops - Tue 14 - Thu 16: core program Proceedings - published by Springer in Lecture Notes in Computer Science series - will be available at conference Program co-Chairs - Marko Bertogna, University of Modena and Reggio Emilia, Italy marko.bertogna@unimore.it - Luis Miguel Pinho, CISTER Research Centre/ISEP, Portugal lmp@isep.ipp.pt Invited speakers - Alan Burns, University of York, on "Why the Expressive Power of Languages such as Ada is needed for Future Cyber Physical Systems" - Valerio Giorgetta, Magneti Marelli, on "Challenges for the Automotive Platform of the Future" - 3rd speaker still to be confirmed Workshops (full day) - 3rd International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (De-CPS 2016) Tutorials (full day) - "Embedded ARM Programming with Ada 2012" Patrick Rogers, AdaCore, USA - "Parallelism in Ada, C, Java and C#, Today and Tomorrow" Brad Moore, General Dynamics Canada, and Stephen Michell, Maurya Software, Canada Tutorials (half day) - "A Semi-formal Approach to Software Development" William Bail, The MITRE Corporation, USA - "Software Test and Verification Techniques for Dependable Systems" William Bail, The MITRE Corporation, USA - "Ada 2012 (Sub)types and Subprogram Contracts in Practice" Jacob Sparre Andersen, JSA Research & Innovation, Denmark - "Towards Energy Awareness and Predictability in the Linux Kernel" Juri Lelli, ARM Ltd, UK - "Access Types and Memory Management in Ada 2012" Jean-Pierre Rosen, Adalog, France - "Using Gnoga for Desktop/Mobile GUI and Web development in Ada" Jean-Pierre Rosen, Adalog, France Papers and Presentations - 12 refereed technical papers in sessions on Concurrency & Parallelism, Testing & Verification, Program Correctness & Robustness, Real-Time Systems - 8 industrial presentations in sessions on Us of Ada, Reliable Software - 3 presentations in special "Ada & Parallelism" session - "ITS EASY Post Graduate School & Projects" presentation session - submissions by authors from 25 countries, and accepted contributions from Australia, Austria, Canada, France, Germany, Italy, Portugal, Spain, Sweden, Tunisia, UK, and USA Vendor exhibition and networking area - area features exhibitor booths, project posters, reserved vendor tables, and general networking options - 5 companies already committed: AdaCore, Ansys/Esterel, Ellidiss Software, Rapita Systems, Vector Software; 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: Ada-Europe General Assembly and Welcome Cocktail - Wednesday evening: the traditional Ada-Europe Conference Banquet - Best Paper and Best Presentation awards will be handed out Registration - early registration discount up to Monday May 9, 2016 - 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 2016 with promotional material available at - soon available there: call for participation, ready-to-print posters for use in your office, university, etc. Please make sure you book accommodation as soon as possible. Pisa 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'2016 Publicity Co-Chair Dirk.Craeynest@cs.kuleuven.be *** 21st Intl.Conf.on Reliable Software Technologies - Ada-Europe'2016 *** June 13-17, 2016 *** Pisa, Italy *** http://www.ada-europe.org *** (V5.1)