----------------------------------------------------------------------- Final Call for Participation *** UPDATED Program Summary *** 11th International Conference on Reliable Software Technologies - Ada-Europe 2006 5 - 9 June 2006, Porto, Portugal http://www.ada-europe.org/conference2006.html *** Final Program available on conference web site. *** *** Check out the tutorial program! *** *** Printed proceedings available. *** *** Register now! *** ----------------------------------------------------------------------- Press release: Conference on Reliable Software Technologies International experts meet in Porto Porto (28 May 2006 22:00) - ISEP, sponsored by Ada-Europe and in cooperation with ACM's Special Interest Group in Ada, organizes this year the "11th International Conference on Reliable Software Technologies - Ada-Europe 2006" from 5 to 9 June in Porto, Portugal. The conference offers eight tutorials, a full technical program of refereed papers, a collection of industrial presentations reflecting current practice and challenges, four eminent invited speakers, an exhibition, and a social program. The 8 excellent tutorials cover a broad range of topics: verification and validation for reliable software systems, the Ada 2005 standard Container library, developing web-aware applications in Ada, the SAE Architecture Analysis and Design Language, model driven development with UML 2.0 and Ada, distribution in Ada 95 with the PolyORB schizophrenic middleware, requirements management for dependable systems, and Real-Time Java. The technical program presents 19 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. 4006. Invited lectures by internationally renowned experts on the topics "Correctness by Construction: Putting Engineering into Software", "Empirical Software Risk Assessment Using Fault Injection", "Model Driven Technologies in Safe-aware Software Applications" and "I Have a Dream: ICT Problems We All Face" complete the program. 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, Green Hills Software, I-Logix, and PrismTech. The social program includes a visit of, and reception at, the historical and famous Caves Cal�m Port Wine Cellars on Tuesday evening, and the conference banquet on Wednesday evening at Porto's former Customs House, beautifully located near the Douro river mouth. The conference takes place at the Le Meridien hotel in the center of Porto; registration is still open. The full "Advance Program" is available on the conference web site and directly at Contact: lpinho@dei.isep.ipp.pt (Lu�s Miguel Pinho, conference chair) ------- 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. 4006, are ready and will be distributed at the conference. More info is available at . Abstracts can be checked out via the conference web site. - 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. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2006 Publicity Chair *** 11th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2006 *** June 5-9, 2006 ** Porto, Portugal ** http://www.ada-europe.org *** (VB.1)