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,a31431ae648e3635,start X-Google-Thread: 107e1d,a31431ae648e3635,start X-Google-Thread: f891f,a31431ae648e3635,start X-Google-Attributes: gid103376,gid107e1d,gidf891f,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!feeder.news-service.com!feeder.news-service.com!feed.xsnews.nl!border-1.ams.xsnews.nl!193.190.198.58.MISMATCH!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: 13th Int.Conf.on Reliable Software Technologies, Ada-Europe 2008 Date: Sun, 27 Apr 2008 21:38:09 +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 1209325089 3554 134.58.42.26 (27 Apr 2008 19:38:09 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Sun, 27 Apr 2008 19:38:09 +0000 (UTC) Summary: Advance Program is online. Registration has started. Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Venice,Italy Cc: dirk Xref: g2news1.google.com comp.lang.ada:21094 fr.comp.lang.ada:1372 comp.lang.misc:6051 Date: 2008-04-27T21:38:09+02:00 List-Id: ----------------------------------------------------------------------- Call for Participation *** 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 Organized by Ada-Europe, in cooperation with ACM SIGAda *** Early registration discount until May 31 *** *** Advance Program in PDF available on conference web site *** ----------------------------------------------------------------------- Ada-Europe organises annual international conferences since the early 80's. This is the 12th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), and Geneva, Switzerland ('07). The 16-page Advance Program (AP) brochure with full information is now available on the conference web site. It contains the list of accepted papers, industrial and educational presentations, as well as detailed descriptions of tutorials and keynote presentations. To download the AP, use the "Program" button on the conference home page and then the "Advance Program (PDF)" link. Direct URLs - Advance Program (large file, 1.96 Mb): - conference registration on-line: - conference registration form (small file): - accommodation and travel information: - info on proceedings: Quick overview - Mon 16 & Fri 20: tutorials - Tue 17 - Thu 19: paper, industrial & vendor presentations, exhibition Proceedings - published by Springer-Verlag - volume 5026 in Lecture Notes in Computer Science series (LNCS) - will be available at conference Program co-chairs - Tullio Vardanega, Universit� di Padova, Italy tullio.vardanega@math.unipd.it - Fabrice Kordon, Universit� P. & M. Curie, France fabrice.kordon@lip6.fr Invited speakers - Alberto Sangiovanni-Vincentelli, University of California at Berkeley, CA, USA, "Embedded Software Design: Art or Science?" - Robert Dewar, Courant Institute, New York University, USA, "Lost in Translation" - Christian Queinnec, LIP6, Universit� Pierre et Marie Curie, Paris, France, "Three Ways to Improve SOA Reliability" Tutorials (full day) - "AADL: Architecture Analysis and Design Language", Jean-Pierre Rosen, Adalog, France - "A Practical Introduction to Model-Driven Software Development using Eclipse", Cristina Vicente-Chicote, Diego Alonso-C�ceres, Universidad Polit�cnica de Cartagena, Spain Tutorials (half day) - "The Best of Ada 2005", John Barnes, John Barnes Informatics, UK - "Object-Oriented Programming in Ada 2005", Matthew Heaney, On2 Technologies, USA - "Preserving Model-Asserted Properties at Run Time for High-Integrity Systems", Tullio Vardanega, University of Padua, Italy, and Juan Antonio de la Puente, Technical University of Madrid, Spain - "Technical Basis of Model Driven Engineering", William Bail, The MITRE Corporation, USA - "Languages for Safety-Critical Software: Issues and Assessment", Benjamin Brosgol, AdaCore, USA - "Service-Oriented Architecture Concepts and Implementations", Ricky Sward, The MITRE Corporation, USA - "Verification Techniques for Dependable Systems", William Bail, The MITRE Corporation, USA - "Real-Time Scheduling Analysis of Ada Applications", Frank Singhoff, University of Brest, France Papers and Presentations - 20 refereed technical papers in sessions on Embedded Systems, Formal Verification, Applications of Petri Nets, Language Technologies, Model-Driven Engineering, Concurrency, Real-Time Systems - 12 industrial presentations on current practice and challenges - 4 presentations on Ada and Education, plus a panel discussion - submissions by authors from 18 countries: Australia, Austria, Canada, China, Czech Republic, France, Germany, Greece, India, Italy, Korea, Portugal, Spain, Switzerland, the Netherlands, Turkey, UK, and USA Exhibition - 6 exhibitors already committed: AdaCore, Aonix, Ellidiss Software, Praxis High Integrity Systems, Rapita Systems, and Telelogic; others expressed interest - vendor presentation track for exhibitors Social evening events - Tuesday: welcome reception at Palazzo Loredan-Franchetti on the Grand Canal, accompanied by musical entertainment by members of the conference community - Wednesday: private boat trip along the Grand Canal to the conference banquet in the renowned "Osteria del Diavolo" restaurant at Torcello, the farthest island of the lagoon Registration - early registration discount up to Sat May 31, 2008 - additional discount for academia, Ada-Europe and ACM members - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes social events - payment possible by bank transfer or credit card Please note that we strongly advice all participants to book early, as June is a very busy period for hotels in Venice. For more info and latest updates see the conference web site at or contact the local chair Sabrina De Poli at . ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. 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 *** (V7.1)