CALL FOR PARTICIPATION
                 ======================

              +-------------------------+
              | (PLEASE REGISTER NOW!!) |
              +-------------------------+

       5th International AMAST Workshop on Real-Time
           and Probabilistic Systems (ARTS '99)

            Bamberg (Germany), May 26-28, 1999

       http://www7.informatik.uni-erlangen.de/arts99

            Organised by Lehrstuhl Informatik 7
             University of Erlangen-Nuremberg
         in cooperation with C.N.R. Istituto CNUCE

The aim of the ARTS'99 workshop is to bring together researchers and
practitioners interested in the design of real-time and probabilistic
systems.  The topics of interest include the whole spectrum of 
development and application of specification, verification, analysis 
and construction of real-time and probabilistic systems.  In the 
spirit of AMAST, the workshop is intended to provide a forum for the
presentation of approaches that have a clear mathematical basis.

Three invited lectures will be given:

B. Jonsson (Uppsala)     -- Probabilistic may testing
F. Vaandrager (Nijmegen) -- Verification of hybrid systems
M.Y. Vardi (Rice)        -- Probabilistic linear-time model checking

The following topics are covered in the sessions:

  &  Verification of probabilistic systems

  &  Model checking probabilistic systems
  
  &  Semantics of probabilistic process calculi

  &  Semantics and compilation of real-time processes

  &  Stochastic process algebra

  &  Modeling and verification of real-time systems

The workshop fee is DM 300,00 (about 150 Euro).  Registration for 
the workshop includes: admission, refreshments during the breaks, 
LNCS proceedings, lunches (Wednesday, Thursday and Friday), workshop
dinner and guided walking tour.

More information about registration, hotels, travel information etc.
can be found on the ARTS'99 web-page (see above).  Registration is 
possible until May 15th.

Hope to see you in Bamberg!