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