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

                   Preliminary Call for Participation

                         *** PROGRAM SUMMARY ***

                     7th International Conference on
            Reliable Software Technologies - Ada-Europe'2002

                    June 17-21, 2002, Vienna, Austria

              http://www.ada-europe.org/conference2002.html

                          Organized by TU Wien
                         Sponsored by Ada-Europe
                     In cooperation with ACM SIGAda,
            ARC Seibersdorf research and Universität Salzburg

    *** Preliminary Program is online. Registration has started. ***

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 7th event in the Reliable Software Technologies
series, previous ones being held at
- Montreux, Switzerland (1996)
- London, UK (1997)
- Uppsala, Sweden (1998)
- Santander, Spain (1999)
- Potsdam, Germany (2000)
- Leuven, Belgium (2001)

A 9-page program brochure is available on the conference web site.
Select "Program" to either view or download the PDF version or to
request a printed copy of the final brochure.

Quick overview
- Mon 17 & Fri 21: tutorials and workshop
- Tue 18 - Thu 20: paper and vendor presentation sessions, exhibition

Program co-chairs
- Johann Blieberger, Technical University Vienna, Dept. of Computer-
  Aided Automation, Vienna, Austria, [log in to unmask]
- Alfred Strohmeier, Swiss Fed. Inst. of Technology Lausanne (EPFL),
  Software Engineering Lab, Switzerland, [log in to unmask]

Invited speakers
- Maarten Boasson, Quaerendo Invenietis bv & University of Amsterdam
  "Embedded Systems Unsuitable for Object Orientation"
- Mehdi Jazayeri, Technical University of Vienna
  "On Architectural Stability and Evolution"
- Rachid Guerraoui, Swiss Fed. Inst. of Technology Lausanne (EPFL)
  "Encapsulating Failure Detection: from Crash to Byzantine Failures"
- Alois Ferscha, University of Linz
  "Contextware: Bridging Physical and Virtual Worlds"

Tutorials
- Peter Amey & Rod Chapman: "SPARK, an Intensive Overview" (full day)
- Michael Gonzalez Harbour & Mario Aldea: "MaRTE OS: Bringing Embedded
  Systems and Real-Time POSIX Together" (full day)
- Matthew Heaney: "Principles Of Physical Software Design in Ada95"
  (half day)
- Matthew Heaney: "Implementing Design Patterns in Ada95" (half day)
- S. Ron Oliver: "CORBA 3 and CORBA for Embedded Systems" (full day)
- Joel Sherrill & Jiri Gaisler: "Using Open Source Hard- and Software to
  Build Reliable Systems" (half day)
- William Bail: "Cleanroom Software Engineering: An Overview" (half day)
- Currie Colket: "Exceptions - What You Always Wanted to Know About
  Exceptions, But Were Afraid To Ask" (half day)

Workshop
- "A Standard Container Library for Ada"
  Contact workshop co-chairs to participate:
  Ehud Lamm, [log in to unmask] & John English, [log in to unmask]

Papers
- 28 papers on Embedded Systems, Case Studies, Real-Time Systems,
  High-Integrity Systems, Ada Language Issues, Program Analysis, Tools,
  Distributed Systems, Libraries and Bindings, and OO Technology
- authors from 18 countries: Australia, Austria, Belgium, Canada, China,
  France, Germany, Greece, Israel, Japan, Malaysia, the Netherlands,
  Portugal, Russia, Spain, Switzerland, United Kingdom, USA

Exhibition
- 7 exhibitors already committed: ACT-Europe, Aonix, DDC-I, Green Hills,
  RainCode, Rational, and TNI-Europe, others expressed interest
- separate vendor presentation tracks for exhibitors

Social evening events
- Tue: a guided bus tour of the city followed by a reception offered
       by the City of Vienna in the historic town hall
- Wed: conference banquet at a famous "Heurigen" in Grinzing
- Thu: Schönbrunn Palace "Grand Tour", a guided tour of the imperial
       residence of Emperor Franz Josef I and Empress Elisabeth

Registration
- includes copy of full proceedings, published by Springer-Verlag in
  Lecture Notes in Computer Science series (LNCS)
- three day conference registration fee includes conference banquet
- early registration discount up to May 15, 2002
- discount for academia, Ada-Europe and ACM members

URLs
- conference registration form (small file):
  http://www.auto.tuwien.ac.at/AE2002/registration_form.pdf
- hotel reservation e-mail address:
  [log in to unmask]
  (mention "Ada-Europe 2002 from June 17th to 21st organized
  on behalf of TU Vienna" to get a special price reduction)
- preliminary program (large file, contains all information and forms):
  http://www.auto.tuwien.ac.at/AE2002/program_color.pdf (1.5MB)

For more info, latest updates, or to get printed brochures, see the
conference web site at http://www.ada-europe.org/conference2002.html
or contact [log in to unmask]

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

Our apologies if you receive multiple copies of this announcement.

[log in to unmask], Ada-Europe'2002 Publicity Chair

--
Dirk Craeynest            | Email [log in to unmask] | Ada-Belgium
Offis nv/sa - Aubay Group | Phone +32(2)725.40.25         | Ada-Europe
Gatti de Gamondstraat 145 |       +32(2)729.97.36 (work)  | ACM SIGAda
B-1180 Brussel, Belgium   | Fax   +32(2)725.40.12         | Team Ada

*** Intl. Conference on Reliable Software Technologies - Ada-Europe'2002
*** June 17-21, 2002, Vienna, Austria *** http://www.ada-europe.org/ ***