[C6] ================================================ AMAST Links 02 01

        Higher-Order Algebra, Logic and Term Rewriting, HOA'95
             21st-22nd September 1995, Paderborn, Germany
         Immediately prior to Computer Science Logic, CSL'95

   The _Full Call for Papers_ is available via the WWW page at 
URL: http://www.cwi.nl/~gipe/announcements.html

  *Topics.* The scope of the workshop includes higher-order aspects of 
 o  algebra, logic and model theory;
 o  term rewriting;
 o  specification and verification languages;
 o  computational logic and theorem proving;
 o  system implementations and case studies.
  *Submission.* Extended abstracts (up to 4 pages) of papers to be
submitted should be sent to the programme committee chairman.
Submission by email is preferred. Otherwise send 3 copies.
  *Submission deadline:* May 1, 1995.
  *Programme committee chairman:*
   Bernhard M"oller, Institut f"ur Mathematik, Universit"at Augsburg
   D-86135 Augsburg, Germany.
   Fax +49 821 598 2274, Email: moeller@uni-augsburg.de
  *Programme committee:*
   Gilles Dowek, Mike Gordon, Jan Heering, Karl Meinke, Tobias Nipkow.
  The Proceedings of HOA'93 are available in LNCS Vol. 816.