6th Int.Conf.on Reliable Software Technologies, Ada-Europe'2

Preliminary Call for Participation


6th International Conference on
Reliable Software Technologies - Ada-Europe’2001

May 14-18, 2001, Leuven, Belgium


Organized by Ada-Belgium and K.U.Leuven
Sponsored by Ada-Europe
In cooperation with ACM SIGAda

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

A 16-page color brochure is available on the conference website. Select
“Program” to either download a PDF version or to request a printed copy.

Quick overview

  • Mon 14 & Fri 18: tutorials
  • Tue 15 - Thu 17: paper & vendor presentation sessions, exhibition

Program co-chairs

Invited speakers

  • Building formal requirement models for reliable software
    Axel van Lamsweerde, Université Catholique de Louvain, Belgium
  • Using Ada in interactive digital television systems
    Pascal Héraud, CANAL+ Technologies, France
  • Testing from formal specifications, a generic approach
    Marie-Claude Gaudel, Université de Paris-Sud, France
  • Logic versus Magic in critical systems
    Peter Amey, Praxis Critical Systems, UK
  • Can Java meet its real-time deadlines?
    Brian Dobbing, Aonix Europe Ltd, UK, co-author Ben Brosgol, ACT, USA


  • Art Duncan: “Non-standard techniques in Ada” (full day)
  • Peter Amey & Rod Chapman: “Practical experiences of safety-critical
    Ada technologies” (full day)
  • Jeff Tian: “Early reliability measurement and improvement” (half day)
  • Gregory Neven, Maarten Coene & Roel Addriaensens: “An introduction to
    XML” (half day)
  • John Harbaugh: “From full concurrency to safe concurrency” (full day)
  • Samuel Tardieu, Laurent Pautet & Thomas Quinot: “Building distributed
    systems with Ada” (full day)
  • Matthew Heaney: “Implementing design patterns in Ada: sequential
    programming idioms” (half day)
  • Bruce Lewis & Ed Colbert: “Architecture centred development and
    evolution of reliable real-time systems” (half day)


  • 32 papers on Formal Methods, Testing, High-Integrity Systems, Program
    Analysis, Distributed Systems, Real-Time Systems, Language and
    Patterns, Dependable Systems, APIs and Components, Real-Time Kernels,
    Standard Formats: UML & XML, System Evolution, and Software Process
  • authors from Australia, Belgium, China, France, Germany, Israel,
    Portugal, Russia, Spain, Sweden, Switzerland, United Kingdom, USA


  • 8 exhibitors already committed: Aonix, Ada Core Technologies (ACT),
    DDC-I, Irvine Compiler, Praxis Critical Systems, Rational Software,
    TNI-Europe and Top Graph’X, others expressed interest
  • separate vendor presentation tracks for exhibitors

Social evening events

  • Mon: welcome reception with Belgian beers
  • Tue: guided tour of historic town hall followed by civic reception
  • Wed: guided historic walk followed by conference banquet at Faculty
    Club in Groot Begijnhof
  • Thu: visit to Stella Artois brewery followed by tasting session


  • includes copy of full proceedings, published by Springer-Verlag in
    Lecture Notes in Computer Science series (LNCS)
  • early registration discount up to April 12, 2001
  • discount for academia, Ada-Europe and ACM members


For more info, latest updates, or to get printed brochures, see the
conference web site at http://www.ada-europe.org/conference2001.html
or contact Dirk Craeynest mailto: Dirk.Craeynest@cs.kuleuven.ac.be

Our apologies if you receive multiple copies of this announcement.

Dirk Craeynest, Ada-Europe’2001 Program Co-Chair

Dirk Craeynest | Email Dirk.Craeynest@cs.kuleuven.ac.be (AE’2001)
Offis - Aubay Group | Dirk.Craeynest@offis.be (work) | Ada-Belgium
Weiveldlaan 41/32 | Phone +32(2)725.40.25 | Ada-Europe
B-1930 Zaventem | +32(2)729.97.36 (work) | ACM SIGAda
Belgium | Fax +32(2)725.40.12 | Team Ada

*** Intl. Conference on Reliable Software Technologies - Ada-Europe’2001
*** May 14-18, 2001, Leuven, Belgium **** http://www.ada-europe.org/ ***