[MB] ================================================ AMAST Links 02 06

2nd Int'l W. on Higher-Order Algebra, Logic and Term Rewriting, HOA'95
             Paderborn, Germany, 21st-22nd September 1995

   *Update* of information in [AL0201C6].

  The _HOA'95 Call for Participation_ is available at URL:

   http://www.Math.Uni-Augsburg.DE/~moeller/hoa.html

  Please visit this WWW page for the final program and registration
information.