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 ([EMAIL PROTECTED])
Herbert Kuchen ([EMAIL PROTECTED])
ALP '97
Sixth International Conference on Algebraic and Logic Programming
Organised by:
Michel Hanus ([EMAIL PROTECTED])
Karl Meinke ([EMAIL PROTECTED])
DPLE '97
First International Conference on
Declarative Programming Languages in Education
(formerly FPLE: Functional Programming Languages in Education)
Organised by:
Krzysztof Apt ([EMAIL PROTECTED])
Pieter Hartel ([EMAIL PROTECTED])
Paul Klint ([EMAIL PROTECTED])
HOA '97
Third International Workshop on
Higher-Order Algebra, Logic and Term Rewriting
Organised by:
Jan Heering ([EMAIL PROTECTED])
Karl Meinke ([EMAIL PROTECTED])
Bernhard Mller ([EMAIL PROTECTED])
Tobias Nipkow ([EMAIL PROTECTED])
----------------------------------------------------------------------------
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: [EMAIL PROTECTED]
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
13th November 1996
----------------------------------------------------------------------------
This is the first mailing concerning these conferences.
It is being sent to individuals as well as appropriate mailing lists.
If you want your email address removed from the individual
list so that you receive no more information via that route,
please reply with "remove" as the subject line.
