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 X-Google-Thread: a07f3367d7,92e50be9d907938f,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII X-Received: by 10.180.106.73 with SMTP id gs9mr176819wib.2.1366858499474; Wed, 24 Apr 2013 19:54:59 -0700 (PDT) MIME-Version: 1.0 Path: p18ni24129wiv.0!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!194.109.133.81.MISMATCH!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!rt.uk.eu.org!newsfeed.fsmpi.rwth-aachen.de!eternal-september.org!feeder.eternal-september.org!mx05.eternal-september.org!.POSTED!not-for-mail From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc Subject: 18th Int.Conf. Reliable Software Technologies, Ada-Europe 2013 Date: Thu, 18 Apr 2013 20:35:16 +0000 (UTC) Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven Message-ID: Injection-Date: Thu, 18 Apr 2013 20:35:16 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="30d5a17ab4b88ea37ba0662440ed3650"; logging-data="12125"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18FgVGhYJ5qxdEVMq9Il7SRJsvj4s52eBs=" Summary: Program information is online. Registration has started. Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Berlin,Germany Originator: dirk@vana.cs.kuleuven.be. (Dirk Craeynest) Cancel-Lock: sha1:xTvKU5t2hPoaLMnZVRLxv3S4gOM= Date: 2013-04-18T20:35:16+00:00 List-Id: ----------------------------------------------------------------------- Call for Participation *** PROGRAM SUMMARY *** 18th International Conference on Reliable Software Technologies - Ada-Europe 2013 10-14 June 2013, Berlin, Germany http://www.ada-europe.org/conference2013 Organized by Ada-Germany on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN *** Early registration discount until April 30 *** *** Conference AND hotel bookings ONLY via conference web site *** ----------------------------------------------------------------------- The 18th International Conference on Reliable Software Technologies - Ada-Europe 2013 will take place in Berlin, Germany, from June 10 to 14, 2013. The conference will offer an outstanding technical program, invited talks, plus an exhibition from Tuesday to Thursday, and a series of tutorials on Monday and Friday. 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. The 16-page Preliminary Program (PP) brochure with extensive information is available on the conference web site. The PP contains the list of accepted papers and industrial presentations, as well as detailed descriptions of all tutorials, keynote presentations, and panel sessions. In the menu on the home page first select "Program", and then the PP download link. Also check the conference web site for registration, accommodation and travel information. Quick overview - Mon 10 & Fri 14: tutorials - Tue 11 - Thu 13: core program Proceedings - published by Springer - volume 7896 in Lecture Notes in Computer Science series (LNCS) - will be available at conference Program co-chairs - Hubert B. Keller, Karlsruhe Institute of Technology, Germany hubert.keller@kit.edu - Erhard Pl�dereder, University of Stuttgart, Germany ploedere@iste.uni-stuttgart.de Invited speakers - Bruce Powel Douglass, Chief Evangelist IBM Rational, USA, "Model-based Ada Development for DO-178B/C and the Application of Agile Methods" - Jack G. Ganssle, The Ganssle Group, USA, "The Way Ahead in Software Engineering: Replacing Artists with Disciplined Grownups" - Giorgio C. Buttazzo, Scuola Superiore Sant'Anna of Pisa, Italy, "Research Challenges in Exploiting Multi-Core Platforms for Real-Time Applications" Tutorials (half day) - "Multicore Programming using Divide-and-Conquer and Work Stealing", S. Tucker Taft, AdaCore, USA - "Designing and Checking Coding Standards for Ada", Jean-Pierre Rosen, Adalog, France - "Effective Requirements Development Practices and their Role in Effective Design", William Bail, The MITRE Corporation, USA - "Understanding Dynamic Memory Management in Safety Critical Java", Tom Grosman, Kelvin Nilsen, Atego Systems, Inc., USA - "Developing Code Analysis Applications with ASIS", Jean-Pierre Rosen, Adalog, France - "Verification and Validation Techniques for Dependable Systems", William Bail, The MITRE Corporation, USA - "Testing Real-Time Software", Ian Broster, Rapita Systems, UK - "Service-Oriented Architecture and Enterprise Service Bus", Rick Sward, The MITRE Corporation, USA, Jeff Boleng, The Software Engineering Institute, Pittsburgh, USA - "Developing High-Integrity Systems with GNAT GPL and the Ravenscar Profile", Juan de la Puente and Juan Zamorano, Universidad Polit�cnica de Madrid, Spain - "Maximize your Application Potential", David Sauvage, AdaLabs Ltd, Republic of Mauritius Tutorials (full day) - "Design of Multitask Software: the Entity-Life Modeling Approach", Bo Sand�n, Colorado Technical University, USA Panel session "How to Use the Heap in Real-Time Systems": - "On Region-Based Storage Management for Parallel Programming", S. Tucker Taft, AdaCore, USA - "Extending the Java Type System to Enforce Disciplined Use of Scope-Allocated Objects", Tom Grosman, Atego Systems, USA - "On Dynamic Memory Management in Real-Time, Safety-Critical System", James Hunt, aicas GmbH, Germany Papers and Presentations - 11 refereed technical papers in sessions on Multicore and Distributed Systems, Ada and Spark, Dependability, Real-Time Systems - 5 industrial presentations in 2 sessions - 1 special session "Introducing Ada 2012" - submissions by authors from 17 countries, and accepted contributions from Canada, Denmark, France, Germany, Italy, Mauritius, Portugal, Spain, Switzerland, UK and USA. Vendor exhibition - 6 exhibitors already committed: AdaCore, Atego, Ellidiss Software, ETAS, Rapita, and Vector Software - vendor presentation sessions in core program Social events - each day: coffee breaks and sit-down lunches offer ample time for interaction and networking - Monday evening: Get Together - Tuesday evening: Welcome Reception - Wednesday evening: Conference Banquet Dinner at the Botanic Garden of the Freie Universit�t Berlin, one of the largest and most diverse botanical gardens in the world, within walking distance to the hotel Registration - early registration discount up to Tuesday April 30, 2013 - additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members - a limited number of student grants 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 bank transfer or credit card Please make sure you book accommodation as soon as possible. A large block of rooms at reduced prices has been reserved at the conference hotel until April 30. Note that those rooms are ONLY available for reservations made through the conference web site! 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'2013 Publicity Chair Dirk.Craeynest@cs.kuleuven.be *** 18th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2013 *** June 10-14, 2013 *** Berlin, Germany *** http://www.ada-europe.org (V7.1)