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,19f8427366ea2d3e,start X-Google-Thread: 107e1d,19f8427366ea2d3e,start X-Google-Attributes: gid103376,gid107e1d,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news2.google.com!proxad.net!proxad.net!194.117.148.138.MISMATCH!pe2.news.blueyonder.co.uk!blueyonder!border2.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news2.euro.net!syros.belnet.be!ikaria.belnet.be!news.belnet.be!not-for-mail From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada Subject: Press Release - Reliable Software Technologies, Ada-Europe 2005 Date: 12 Jun 2005 12:11:23 +0200 Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven Message-ID: NNTP-Posting-Host: seven.kulnet.kuleuven.ac.be X-Trace: ikaria.belnet.be 1118571084 18576 134.58.127.12 (12 Jun 2005 10:11:24 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Sun, 12 Jun 2005 10:11:24 +0000 (UTC) Summary: Interested in reliable software? Register now for this event! Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,York,UK Cc: dirk Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@heli.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: g2news1.google.com comp.lang.ada:11295 fr.comp.lang.ada:1106 Date: 2005-06-12T12:11:23+02:00 List-Id: ----------------------------------------------------------------------- Final Call for Participation *** UPDATED Program Summary *** 10th International Conference on Reliable Software Technologies - Ada-Europe 2005 20 - 24 June 2005, York, UK http://www.ada-europe.org/conference2005.html *** Full Program available on conference web site *** *** Check out the tutorial program! *** *** Printed proceedings available *** *** Register now! *** ----------------------------------------------------------------------- Press release: Conference on Reliable Software Technologies in York York, UK (12 June 2005 12:00) - The University of York, sponsored by Ada-Europe and in cooperation with ACM's Special Interest Group in Ada, organizes this year the "10th International Conference on Reliable Software Technologies - Ada-Europe 2005" from 20 to 24 June in York. The conference offers nine tutorials, including a look at Ada 2005, a full technical program of refereed papers, a collection of industrial presentations reflecting current practice and challenges, three eminent invited speakers, an exhibition, and a social program. The 9 excellent tutorials cover a broad range of topics, including: developing web-aware applications in Ada, correctness by construction, real-time Java, architecture analysis and design, Ravenscar and SPARK, containers in Ada 2005, software fault tolerance, requirements engineering for dependable Systems, and a half day tutorial (at a reduced rate) on the new features of Ada 2005, presented by four of its designers: John Barnes, Alan Burns, Pascal Leroy and Tucker Taft. Technical Program. 21 fully refereed and carefully selected papers on the latest research on Ada-related issues, including new tools, applications and industrial practice and experience. A collection of 10 industrial presentations reflecting current practice and challenges. Springer Verlag publishes the proceedings of the conference, as LNCS Vol. 3555. Keynote Speakers. John McDermid discusses model-based development of safety-critical software. Martyn Thomas presents "Extreme Hubris" in which the principles of Extreme Programming are examined and shown to be misguided and dangerous, and in which an alternative Manifesto for Reliable Software is proposed. Bev Littlewood talks about assessing the dependability of software-based systems. 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, ARTiSAN Software, Esterel Technologies, Green Hills Software, I-Logix, LDRA Software Technology, PolySpace Technologies, Praxis High Integrity Systems, Silver Software, TNI Europe. York is a beautiful and historical (small) city in the north of the UK. It has a first class university with one of the best Computer Science departments in the world. The Department has been involved with the development of programming languages for a number of years (indeed it ran the first series of technical meetings on Ada in the 1970s). It is pleased to host this meeting on reliable software technology. York can be reached easily by train from London (approximately 2.3 hours), Manchester airport (2 hours), Leeds/Bradford Airport (1 hour). The conference is held at the Royal York Hotel which is adjacent to the York train station a few minutes from the centre of York and the Minster (Cathedral). The conference's social program includes a wine and buffet reception on Tuesday evening at Bedern Hall, a 14th century hall which was used as a refectory of the vicars of York Minster, and the conference banquet on Wednesday evening at the National Railway Museum. This York-based Museum is the largest railway museum in the world, responsible for the conservation and interpretation of the British national collection of historically significant railway vehicles and other artifacts. The Museum contains an unrivaled collection of locomotives, rolling stock, railway equipment, documents and records. ------- Latest updates: - The full "Advance Program" is available on the conference web site and directly at (pdf, 1.7M). - Check out the 9 tutorials in the advance program and at . - The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 3555, are ready and will be distributed at the conference. More info is available at . Abstracts can be checked out at . - Registration fees are very reasonable and the registration process is easy: either register on-line at , or fill out the 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.ac.be, Ada-Europe'2005 Publicity Co-chair *** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005 *** June 20-24, 2005 *** York, UK *** http://www.ada-europe.org *** (VA.1)