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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,84c3b69a0ff0a346,start X-Google-Thread: 107e1d,84c3b69a0ff0a346,start X-Google-Thread: f891f,84c3b69a0ff0a346,start X-Google-Attributes: gid103376,gid107e1d,gidf891f,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!feeder.news-service.com!feeder.news-service.com!syros.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 2008 Date: Sun, 8 Jun 2008 21:41:37 +0200 (CEST) Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven Message-ID: NNTP-Posting-Host: muspel.cs.kuleuven.be X-Trace: ikaria.belnet.be 1212954097 22157 134.58.42.26 (8 Jun 2008 19:41:37 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Sun, 8 Jun 2008 19:41:37 +0000 (UTC) Summary: Interested in reliable software? Register now for this event! Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Venice,Italy Cc: dirk Xref: g2news1.google.com comp.lang.ada:619 fr.comp.lang.ada:15 comp.lang.misc:108 Date: 2008-06-08T21:41:37+02:00 List-Id: ----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** 13th International Conference on Reliable Software Technologies - Ada-Europe 2008 16 - 20 June 2008, Venice, Italy http://www.ada-europe.org/conference2008.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 Venice Venice (8 June 2008 21:00) - Ada-Europe, in cooperation with ACM's Special Interest Group on Ada, organizes the "13th International Conference on Reliable Software Technologies - Ada-Europe 2008" from 16 to 20 June in Venice, Italy. The conference offers two days of tutorials, a full technical program of refereed papers, a collection of industrial presentations reflecting current practice and challenges, an educational track, three invited speakers, an industrial exhibition, and a social program. The 10 excellent tutorials on Monday and Friday cover a broad range of topics: AADL - Architecture Analysis and Design Language, A Practical Introduction to Model-Driven Software Development using Eclipse, The Best of Ada 2005, Object-Oriented Programming in Ada 2005, Preserving Model-Asserted Properties at Run Time for High-Integrity Systems, Technical Basis of Model Driven Engineering, Languages for Safety-Critical Software - Issues and Assessment, Service-Oriented Architecture Concepts and Implementations, Verification Techniques for Dependable Systems, and Real-Time Scheduling Analysis of Ada Applications. The technical program presents 20 refereed and carefully selected papers on the latest research, new tools, applications and industrial practice and experience, a collection of 11 industrial presentations reflecting current practice and challenges, and 4 presentations plus a panel discussion on Ada and Education. Springer Verlag publishes the proceedings of the conference, as LNCS Vol. 5026. Three international experts present invited lectures on the topics: Embedded Software Design: Art or Science?, Lost in Translation, and Three Ways to Improve SOA Reliability. 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, Praxis High Integrity Systems, Rapita Systems, and Telelogic. The social program includes on Tuesday evening a welcome reception at Palazzo Cavalli-Franchetti on the Grand Canal, accompanied by musical entertainment by members of the conference community, and on Wednesday evening a private boat trip along the Grand Canal to the conference banquet in the renowned "Osteria Ponte del Diavolo" restaurant at Torcello, the farthest island of the lagoon. The conference takes place at the Centro Culturale Don Orione Artigianelli, at Zattere Dorsoduro 909/A, at the south end of Venice, some 15 minutes of leisurely walk from Piazza San Marco, perhaps the most renowned spot of the city. The full program is available on the conference web site. Registration is still open. ------- Latest updates: - The "Final Program" is available on the conference web site and directly at . - Check out the 10 tutorials in the final program and at . - The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 5026, are ready and will be distributed at the conference. More info is available at . - Registration fees are very reasonable and the registration can be done on-line (preferred) or by faxing a filled-out form to the conference secretariat. For all details, see . 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'2008 Publicity Chair *** 13th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2008 *** June 16-20, 2008 ** Venice, Italy ** http://www.ada-europe.org *** (V9.1)