[M2] ================================================ AMAST Links 02 07

    Workshop on Verification and Control of Hybrid Systems, VCHS'95
            New Brunswick, New Jersey, October 22-25, 1995

   *Update* of information in [AL0205C4].

  The *Program and Registration Information* is available on the WWW at
the following sites:

DIMACS, WWW  : http://dimacs.rutgers.edu
Cornell, WWW : http://www.cs.cornell.edu/Info/People/tah/hybrid95.html
Cornell, FTP : ftp://ftp.cs.cornell.edu/pub/tah/Conferences/Hybrid95