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.3 required=5.0 tests=BAYES_00,HEADER_SPAM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 106aa4,820e9767dded40f1,start X-Google-Thread: ff499,820e9767dded40f1,start X-Google-Thread: feb68,820e9767dded40f1,start X-Google-Thread: 103376,ef507985f1bea423 X-Google-Attributes: gid106aa4,gidff499,gidfeb68,gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.parallel,comp.compilers,news.announce.conferences,comp.lang.ada Return-Path: From: Dirk Craeynest Message-ID: <200505122156.j4CLuAY29334@bollie.cs.kuleuven.ac.be> Subject: 10th Int.Conf.on Reliable Software Technologies, Ada-Europe 2005 Followup-To: poster Organization: kuleuven.ac.be Originator: eugene@cse.ucsc.edu NNTP-Posting-Host: sundance.cse.ucsc.edu Date: 12 May 2005 15:44:47 -0800 X-Trace: darkstar 1115937887 128.114.48.62 (12 May 2005 15:44:47 -0800) Path: g2news1.google.com!news4.google.com!newsfeed.stanford.edu!newsfeed.berkeley.edu!ucberkeley!darkstar!eugene Xref: g2news1.google.com comp.parallel:563 comp.compilers:1681 news.announce.conferences:125 comp.lang.ada:11018 Date: 2005-05-12T15:44:47-08:00 List-Id: ----------------------------------------------------------------------- Call for Participation *** 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 *** Advance Program is online. Registration has started. *** ----------------------------------------------------------------------- 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. Use the "Advance Programme" link at the top of the conference home page to either view or download the PDF version, or contact the conference 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 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 llamosi@uib.es. ----------------------------------------------------------------------- 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 *** --