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: 103376,1b14476481900f8f,start X-Google-Thread: 107e1d,1b14476481900f8f,start X-Google-Thread: f891f,1b14476481900f8f,start X-Google-Attributes: gid103376,gid107e1d,gidf891f,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!nerim.net!aotearoa.belnet.be!ikaria.belnet.be!news.belnet.be!unknown!not-for-mail From: dirk@muspel.cs.kuleuven.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc Subject: Press Release - Reliable Software Technologies, Ada-Europe 2007 Date: Sun, 17 Jun 2007 16:16:17 +0200 (CEST) Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven Message-ID: NNTP-Posting-Host: muspel.cs.kuleuven.ac.be X-Trace: ikaria.belnet.be 1182089777 3138 134.58.42.26 (17 Jun 2007 14:16:17 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Sun, 17 Jun 2007 14:16:17 +0000 (UTC) Summary: Interested in reliable software? Register now for this event! Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,Geneva,ISO Cc: dirk Xref: g2news1.google.com comp.lang.ada:16214 fr.comp.lang.ada:998 comp.lang.misc:4984 Date: 2007-06-17T16:16:17+02:00 List-Id: ----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 12th International Conference on Reliable Software Technologies - Ada-Europe 2007 25 - 29 June 2007, Geneva, Switzerland http://www.ada-europe.org/conference2007.html *** Final Program available on conference web site. *** *** Check out the tutorial program! *** *** Printed proceedings available. *** *** Register now! *** ----------------------------------------------------------------------- Press release: Ada-Europe Conference on Reliable Software Technologies International experts meet in Geneva Geneva (17 June 2007 16:00) - Ecole d'Ing�nieurs de Gen�ve together with and sponsored by Ada-Europe, and in cooperation with ACM's Special Interest Group in Ada, organize this year the "12th International Conference on Reliable Software Technologies - Ada-Europe 2007" from 25 to 29 June in Geneva, Switzerland. The conference offers 8 tutorials, a full technical program of refereed papers, a collection of industrial presentations reflecting current practice and challenges, four invited speakers, an industrial exhibition, and a social program. The 8 excellent tutorials on Monday and Friday cover a broad range of topics: An Overview of Model Driven Engineering, Correctness by Construction - a UML2 Profile Enforcing the Ravenscar Computational Model, Verification and Validation for Reliable Software Systems, Object-Oriented Programming in Ada 2005, Security by Construction, Synchronous Design of Embedded Systems - the Esterel/Scade approach, Building Interoperable Distributed Applications with PolyORB, and Situational Method Engineering - Towards a Specific Method for each System Development Project. The technical program presents 18 fully refereed and carefully selected papers on the latest research, including new tools, applications and industrial practice and experience, and a collection of 7 industrial presentations reflecting current practice and challenges. Springer Verlag publishes the proceedings of the conference, as LNCS Vol. 4498. Four international experts present invited lectures on the topics: Challenges for Reliable Software Design in Automotive Electronic Control Units, Synchronous Techniques for Embedded Systems, Perspectives on Next Generation Software Engineering, and Observation Rooms for Program Execution Monitoring. The exhibition opens in the mid-morning break on Tuesday and runs continuously until the end of the afternoon break on Thursday. The exhibitors include the following vendors: AdaCore, Aonix, Ellidiss Software (TNI-Europe), Green Hills Software, the Hibachi project, Praxis, Programming Research BV, Rapita Systems Ltd, and Telelogic. The social program includes on Tuesday evening a visit of, and reception at, the building of the World Meteorological Organization (WMO, agency of the United Nations), and on Wednesday evening an aperitif in the History of Sciences Museum followed by the conference banquet at the restaurant La Perle du Lac, close to the Leman Lake. The conference takes place at the Engineering School of Geneva (Ecole d'Ing�nieurs de Gen�ve-EIG), 4 Rue Prairie, in the center of Geneva. The full "Advance Program" is available on the conference web site and directly at . Registration is still open. ------- Latest updates: - The "Final Program" is available on the conference web site and directly at . - Check out the 8 tutorials in the advance program and at . - The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 4498, are ready and will be distributed at the conference. More info is available at . - Registration fees are very reasonable and the registration process is easy: fill out the 1-page form at and fax it to the conference secretariat. Don't delay! - For the latest information consult the conference web site. ----------------------------------------------------------------------- Please circulate widely. Our apologies if you receive multiple copies of this announcement. Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2007 Publicity Co-chair *** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007 *** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org (V10.1)