TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
text/plain; charset=US-ASCII
"Team Ada: Ada Programming Language Advocacy (83 & 95)" <[log in to unmask]>
Dirk Craeynest <[log in to unmask]>
Thu, 12 May 2005 23:55:15 +0200
Dirk Craeynest <[log in to unmask]>
text/plain (122 lines)

                        Call for Participation

                        *** PROGRAM SUMMARY ***

                    10th International Conference on
            Reliable Software Technologies - Ada-Europe 2005

                      20 - 24 June 2005, York, UK


                  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):
- online conference registration:
- conference registration form (small file):
- accommodation and travel information

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,
  [log in to unmask]
- Andy Wellings, University of York, UK, [log in to unmask]

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

- 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

- 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
or contact [log in to unmask]


Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

[log in to unmask], Ada-Europe'2005 Publicity Co-chair

*** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
*** June 20-24, 2005 ***  York, UK  *** ***