Final Calls for Papers
                       PLILP/ALP/DPLE/HOA 1997

                      University of Southampton
                       1st - 5th September 1997

In the first week of September 1997, the University of Southampton will be
host to a number of conferences and similar gatherings concerned with the
theory, practice and teaching of mathematical styles of programming and
programming language implementation.

PLILP '97
     Ninth International Symposium on
     Programming Languages, Implementations, Logics, and Programs
     Organised by:
          Hugh Glaser (hg@ecs.soton.ac.uk)
          Herbert Kuchen (herbert@informatik.rwth-aachen.de)
ALP '97
     Sixth International Conference on Algebraic and Logic Programming
     Organised by:
          Michel Hanus (hanus@informatik.rwth-aachen.de)
          Karl Meinke (karlm@nada.kth.se)
DPLE '97
     First International Conference on
     Declarative Programming Languages in Education
     (formerly FPLE: Functional Programming Languages in Education)
     Organised by:
          Krzysztof Apt (apt@cwi.nl)
          Pieter Hartel (phh@ecs.soton.ac.uk)
          Paul Klint (paulk@cwi.nl)
HOA '97
     Third International Workshop on
     Higher-Order Algebra, Logic and Term Rewriting
     Organised by:
          Jan Heering (jan@cwi.nl)
          Karl Meinke (karlm@nada.kth.se)
          Bernhard Mller (Bernhard.Moeller@Informatik.Uni-Augsburg.de)
          Tobias Nipkow (nipkow@informatik.tu-muenchen.de)

----------------------------------------------------------------------------

Publication

        The proceedings of these conferences will appear as separate
        editions of Springer-Verlag LNCS.

Calls for Papers

        Copies of the general Calls for Papers may be obtained via
        the Conference Web Site: http://www.ecs.soton.ac.uk/southampton1997/
        The conference email address is: southampton1997@ecs.soton.ac.uk

The Important Dates

        Deadline for all submissions:        1st April, 1997
        Notification of acceptance/rejection:1st June, 1997
        Early registration date:             1st August, 1997
        Conference week:                     1st-5th September, 1997

----------------------------------------------------------------------------

Hugh Glaser
Pieter Hartel
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton

5th March 1997

-------
Hugh Glaser, Declarative Systems & Software Engineering
             Department of Electronics and Computer Science,
             University of Southampton,
             Southampton SO17 1BJ
Tel: +44 (0)1703 593670, Fax: +44 (0)1703 593045, Mobile: +44 (0)956 935774
http://www.ecs.soton.ac.uk/~hg/