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,9e46f1e19c504a63,start X-Google-NewGroupId: yes X-Google-Thread: 107e1d,9e46f1e19c504a63,start X-Google-NewGroupId: yes X-Google-Thread: f891f,9e46f1e19c504a63,start X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,gid43d0c745c,gidc468f61128,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!feeder.news-service.com!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!feeder.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: The Ada Connection = Ada-Europe 2011 + Ada Conference UK 2011 Date: Wed, 8 Jun 2011 19:36:33 +0000 (UTC) Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven Message-ID: Injection-Date: Wed, 8 Jun 2011 19:36:33 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="FWUfW0kfyVkZLU6Rosk8rg"; logging-data="30943"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/dWEV85JONzyg/WCOU8G4XgUNy+T7oKhI=" Summary: Interested in reliable software? Register now for this event! Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Edinburgh,UK Originator: dirk@vana.cs.kuleuven.be. (Dirk Craeynest) Cancel-Lock: sha1:54uJ9R1AwANBRfKk/bYQlPejZjg= Xref: g2news1.google.com comp.lang.ada:19706 fr.comp.lang.ada:854 comp.lang.misc:5709 Date: 2011-06-08T19:36:33+00:00 List-Id: ----------------------------------------------------------------------- FINAL Call for Participation *** UPDATED Program Summary *** The Ada Connection 16th International Conference on Reliable Software Technologies - Ada-Europe 2011 + Ada Conference UK 2011 20 - 24 June 2011, Edinburgh, UK http://www.ada-europe.org/conference2011 *** Full Program available on conference web site *** *** Check out the tutorial program! *** *** Printed proceedings available *** *** Register now! *** ----------------------------------------------------------------------- Press release: The Ada Connection = Ada-Europe 2011 + Ada Conference UK 2011 International experts meet in Edinburgh Edinburgh (8 June 2011 20:00) - The Ada Connection, which combines the 16th International Conference on Reliable Software Technologies - Ada-Europe 2011 - with Ada Conference UK 2011, will take place from 20 to 24 June in Edinburgh, Scotland's capital city and the UK's most popular conference destination. The Ada Connection is the union of two Ada events that have both been very successful in their own right. The Ada-Europe series of conferences has become established as an international forum for providers, practitioners and researchers in all aspects of reliable software technologies. The Ada Conference UK has been running in its current form since 2006 as a series of biennial one-day events, to highlight the increased relevance of Ada in safety- and security-critical systems. By combining these events, the Ada Connection will provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. The conference offers two days of tutorials, three keynotes and one invited speaker, a full technical program of refereed papers, a collection of industrial presentations, two special panel sessions, an industrial exhibition, and a social program. The 9 excellent tutorials on Monday and Friday cover a broad range of topics: Experimenting with ParaSail - Parallel Specification and Implementation Language; Designing and Checking Coding Standards for Ada; Programming Distributed Systems with YAMI4; Why and How to Measure Non-functional Properties On-target; Hard Real-Time and Embedded Systems Programming with Ada; Use of Object-Oriented Technologies in High-Reliability Systems; MAST - Predicting Response Times in Event-Driven Real-Time Systems; SPARK - The Libre Language and Toolset for High-Assurance Software; Distributed Programming Techniques in Ada. Three eminent keynote speakers have been selected to open each day of the core conference program. Peter Bernard Ladkin (University of Bielefeld CITEC and Causalis Limited), a recognised specialist in system safety, will present a talk entitled "Functional Safety of Software-Based Critical Systems". Pippa Moore (UK Civil Aviation Authority), in her talk "Hippocrates and DO-178B", will address the issues to be considered when attempting to "do no harm" when developing a software system. Jeff O'Leary (US Federal Aviation Administration), in his talk "Assuring Software Reliability While Using Web Services and Commercial Products" will present a government software procurement official's perspective on systems development and quality, and discuss the implications, approach and unique issues of building reliable, trusted web services using commercial products. The technical program presents 12 refereed and carefully selected papers on the latest research, new tools, applications and industrial practice and experience, a collection of 12 industrial presentations reflecting current practice and challenges, vendor presentations, a panel session on "Programming Languages Meet Multicore", and a panel session on "DO178C and Object-Orientation for Critical Systems". Springer Verlag publishes the proceedings of the conference, as LNCS Vol. 6652. The exhibition opens in the mid-morning break on Tuesday and runs continuously until the end of the afternoon break on Wednesday. The exhibitors include the following vendors: AdaCore, Altran Praxis, Causalis Limited, Ellidiss Software, Green Hills Software, IPL, LDRA, Objektum Solutions, Rapita Systems, Resource Engineering, TTE Systems, Vector Software, Verocel and Wind River. The social program includes on Tuesday evening a welcome reception with single malt Scotch whisky tasting in the exhibition area, and on Wednesday evening a conference banquet dinner at The Signet Library, just below Edinburgh Castle in the center of Edinburgh's Old Town. Before the conference banquet, Les Hatton (Kingston University) will give a pre-dinner speech entitled "On the Evolution of Unnatural Language". The venue for the Ada Connection is the John McIntyre Conference Centre on the University of Edinburgh campus, close to the city center, and at the foot of Arthurs Seat, the highest point in Edinburgh. The full program is available on the conference web site. Registration is still open. ------- Latest updates: - The 20-page "Advance Program" is available on the conference web site , and directly at . - Check out the 9 tutorials in the full program (PDF) or via the hyperlinks in the tutorial schedule on . - The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 6652, 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. If you have a LinkedIn account, let your network know that you will be attending or are interested in this event; see RSVPs on http://events.linkedin.com/Ada-Connection-16th-International/pub/405820 Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair *** 16th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2011 *** June 20-24, 2011 **** Edinburgh, UK **** http://www.ada-europe.org (V9.1)