HOA '97
Third International Workshop on

4th-5th September 1997
University of Southampton, Southampton, UK

First Announcement and Call For Papers

Higher-order methods are widely applied in declarative programming languages, as well as in software and hardware specification and verification. The algebra and model theory of higher-order languages, computational logic and term rewriting, as well as specification and verification case studies using higher-order techniques, are flourishing areas of research at present. This third international workshop again aims to provide an overview of current research and to suggest new directions. Submission of papers on system implementation aspects is particularly encouraged.

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
Dan Dougherty (Wesleyan University)
Gilles Dowek (INRIA Rocquencourt)
Amy Felty (Bell Labs, Lucent Technologies)
John Field (IBM T. J. Watson Research Center)
Mike Gordon (Cambridge)
Jan Heering (CWI Amsterdam)
Karl Meinke (KTH Stockholm)
Bernhard Möller (Augsburg)
Tobias Nipkow (TU Munich)

Submission April 1, 1997
Notification June 1, 1997
Conference version due August 1, 1997
Final refereeing till December 1, 1997
Final version due February 15, 1998
HOA '97 will be hosted by the University of Southampton in the same week as PLILP '97, ALP '97, and DPLE '97.
Similarly to the previous workshops (LNCS 816 and LNCS 1074), selected papers presented at the meeting will be refereed for publication after the workshop in Springer LNCS. Three copies of an extended abstract (up to 4 pages) of papers to be submitted should be sent to the program committee chairman, Jan Heering, preferably by e-mail, to arrive by April 1, 1997.

HOA '97 is sponsored by the European Association for Computer Science Logic (EACSL)