[MC] ================================================ AMAST Links 03 01

                           TACAS'96 & AIN'96
Tools & Algorithms for the Construction & Analysis of Systems, TACAS'96
       2nd Int'l Workshop, Passau (Germany), March 27 - 29, 1996
                       together with the adjoint
        Int'l Workshop on Advanced Intelligent Networks, AIN'96
                 Passau (Germany), March 25 - 26, 1996

   *Update* of information in [AL0207CB].

   The _Final Programs_ (Postscript) of both meetings are found at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301MC.ps

  Final program, registration forms and local information on how to
reach Passau are available per WWW under URL:
   http://www.uni-passau.de/fmi/lehrstuehle/steffen/cfp/

  *Note*: a few extra slots for demos have been made available. Please
contact the Local Organizer (tiziana@fmi.uni-passau.de).