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,918ff3e12fd0681e,start X-Google-Thread: 107e1d,918ff3e12fd0681e,start X-Google-Attributes: gid103376,gid107e1d,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news.glorb.com!feeder.xsnews.nl!feeder.news-service.com!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: Ada-Europe 2005 early registration deadline approaching Date: 19 May 2005 21:39:43 +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 1116531583 8956 134.58.127.12 (19 May 2005 19:39:43 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Thu, 19 May 2005 19:39:43 +0000 (UTC) Summary: Early registration discount until May 23. 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:11094 fr.comp.lang.ada:1016 Date: 2005-05-19T21:39:43+02:00 List-Id: ----------------------------------------------------------------------- 2nd 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 Organized, on behalf of Ada-Europe, by the University of York, in cooperation with ACM SIGAda *** Early registration discount until May 23. *** *** Printed Advance Program available on conference web site. *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 10th 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). The 16-page Advance Program brochure with full information is available on the conference web site; the AP contains the list of accepted papers, as well as a detailed description of the tutorials and keynote presentations. Use the "Advance Programme" link at the top of the conference home page to either view or download the PDF version, or contact the local organization chair to request a printed copy of the brochure. Direct URLs - Advance Program (large file, 1.7 MB, incl. registration form): http://www.cs.york.ac.uk/rts/adaeurope/advprogram.pdf - online conference registration: https://pisa.cs.york.ac.uk/rts/cgi-bin/adaeurope/register - conference registration form (small file): http://www.cs.york.ac.uk/rts/adaeurope/registration-form.pdf - accommodation and travel information http://www.cs.york.ac.uk/rts/adaeurope/york.html#accommodation Quick overview - Mon 20 & Fri 24: tutorials - Tue 21 - Thu 23: paper, industrial & vendor presentations, exhibition Program co-chairs - Tullio Vardanega, University of Padua, Italy, tullio.vardanega@math.unipd.it - Andy Wellings, University of York, UK, andy@cs.york.ac.uk Invited speakers - John McDermid, University of York, UK, "Model-based Development of Safety-Critical Software: Opportunities and Challenges" - Martyn Thomas, Thomas Associates, UK, "Extreme Hubris" (on Extreme Programming and Reliable Software) - Bev Littlewood, City University, London, UK, "Assessing the Dependability of Software-Based Systems: a Question of Confidence" Special tutorial (half day) - "Ada 2005", John Barnes, Alan Burns, Pascal Leroy, S. Tucker Taft Tutorials (full day) - "Real-Time Java for Ada Programmers", Ben Brosgol - "Software Safety Cases", John McDermid, Rob Weaver Tutorials (half day) - "Developing Web-aware Applications in Ada with AWS", Jean-Pierre Rosen - "Correctness by Construction. A Manifesto for High Integrity Engineering", Peter Amey & Neil White - "SAE Architecture Analysis and Design Language", Joyce L. Tokar & Bruce Lewis - "High-Integrity Ravenscar Using SPARK", Brian Dobbing - "Requirements Engineering for Dependable Systems", William Bail - "Programming with the Ada 2005 Standard Container Library", Matthew Heaney - "Software Fault Tolerance", Patrick Rogers Papers and Presentations - 21 refereed technical papers on Applications, Design and Scheduling, Formal Methods, Ada and Education, Certification and Verification, Distributed Systems, Language Aspects, and Ravenscar Technology - 10 industrial presentations, on current practice and challenges - authors from 10 countries: Austria, France, Germany, Italy, Portugal, Spain, Sweden, Switzerland, United Kingdom, and USA Exhibition - 11 exhibitors already committed: AdaCore, Aonix, ARTiSAN Software, Esterel Technologies, Green Hills Software, I-Logix, LDRA Software Technology, PolySpace Technologies, Praxis High Integrity Systems, Silver Software, and TNI-Europe - vendor presentation tracks for exhibitors Social evening events - Wednesday: visit of, and banquet at the National Railway Museum - others: to be announced Registration - early registration discount up to Mon May 23, 2005: **don't delay!** - additional discount for academia, Ada-Europe and ACM members - registration includes copy of printed proceedings, published by Springer-Verlag in Lecture Notes in Computer Science series (LNCS) and distributed at event - includes coffee breaks, lunches, social events - three day conference registration includes conference banquet For more info, latest updates, or to get printed brochures, see the conference web site at http://www.ada-europe.org/conference2005.html or contact sue@cs.york.ac.uk. ----------------------------------------------------------------------- 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 *** (V9.1)