Final CFP - PLILP/ALP/DPLE/HOA 1997 (Hugh Glaser)
14 Mar 1997 00:18:49 -0500

          From comp.compilers

Related articles
Final CFP - PLILP/ALP/DPLE/HOA 1997 (1997-03-14)
| List of all articles for this month |

From: (Hugh Glaser)
Newsgroups: comp.lang.prolog,comp.lang.functional,comp.constraints,,comp.theory,comp.compilers
Date: 14 Mar 1997 00:18:49 -0500
Organization: University of Southampton
Distribution: inet
Keywords: CFP, conference

                                              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.

          Ninth International Symposium on
          Programming Languages, Implementations, Logics, and Programs
          Organised by:
                    Hugh Glaser (
                    Herbert Kuchen (
ALP '97
          Sixth International Conference on Algebraic and Logic Programming
          Organised by:
                    Michel Hanus (
                    Karl Meinke (
DPLE '97
          First International Conference on
          Declarative Programming Languages in Education
          (formerly FPLE: Functional Programming Languages in Education)
          Organised by:
                    Krzysztof Apt (
                    Pieter Hartel (
                    Paul Klint (
HOA '97
          Third International Workshop on
          Higher-Order Algebra, Logic and Term Rewriting
          Organised by:
                    Jan Heering (
                    Karl Meinke (
                    Bernhard Mller (
                    Tobias Nipkow (



                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:
                The conference email address is:

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

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.