University of Southampton
3rd - 5th September 1997
In 1997 the conferences were held in Southampton, and these are the pages from the event.
Pictures
from the social event (on board HMS Victory 1860) are available.
- 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)
With a Special Track on Declarative Programming Languages in Education,
organised by:
- Krzysztof Apt
(apt@cwi.nl)
- Pieter Hartel
(phh@ecs.soton.ac.uk)
- Paul Klint
(paulk@cwi.nl)
- 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)
- 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 Möller
(Bernhard.Moeller@Informatik.Uni-Augsburg.de)
- Tobias Nipkow
(nipkow@informatik.tu-muenchen.de)
Publication
The proceedings of PLILP and of ALP/HOA will appear as two separate
editions of Springer-Verlag LNCS.
Important Dates
| Deadline for all submissions: | 1st April, 1997 |
| Notification of acceptance/rejection: | 1st June, 1997 |
| Early registration date: | 4th August, 1997 |
| Conference week: | 3rd-5th September, 1997 |
We are pleased to announce that these conferences are organised in cooperation with
| BCS | The British Computer Society |
| ALP | The Association of Logic Programming |
| Compulog Net | The ESPRIT Network of Excellence in Computational Logic |
The European Association for Computer Science Logic (EACSL) endorses ALP and HOA
Hugh Glaser
Pieter Hartel
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton
11th May 1998