Leave a comment

-----------------------------------------------------------------------

                        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 ***