[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.

Topics. The scope of the workshop includes higher-order aspects of

• algebra, logic and model theory;
• term rewriting;
• specification and verification languages;
• computational logic and theorem proving;
• 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öller, Institut für Mathematik, Universität 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.