<![CDATA[
<BODY BGCOLOR="#FFFFFF">
<table>
<TD>
<a href="logo.map">
<img src="logo25.gif" border=0 usemap="#logo25" ismap></a>
<MAP NAME="logo25">
<AREA SHAPE=rect COORDS="0,0,34,232" HREF="index.html">
<AREA SHAPE=rect COORDS="34,51,155,84" HREF="plilp/index.html">
<AREA SHAPE=rect COORDS="34,84,155,118" HREF="alp/index.html">
<AREA SHAPE=rect COORDS="34,118,155,151" HREF="dple/index.html">
<AREA SHAPE=rect COORDS="34,151,155,187" HREF="http://www.cwi.nl/~jan/HOA97cfp.html">
</MAP>
</TD>
<TD>
<CENTER><H1><img src="southampton.gif" ALT="Southampton 1997"></H1></CENTER>
<CENTER><H1><img src="all24c.gif" ALT="PLILP/ALP/DPLE/HOA 1997"></H1></CENTER>
<H2><CENTER>University of Southampton<br>
3rd - 5th September 1997</CENTER></H2>
</TD>
</table>
In 1997 the conferences were held in Southampton, and these are the pages from the event.
<p>
<A HREF="Social_PLILP_ALP1997/plilp-alp1997.html">Pictures</A>
from the social event (on board HMS Victory 1860) are available.
<DL>
<DT><b><a HREF="plilp/index.html">PLILP '97</A></b><DD>Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs
<BR>Organised by:
<DL><DD><a href=http://www.ecs.soton.ac.uk/~hg>Hugh Glaser</a>
(<a href="mailto:hg@ecs.soton.ac.uk">hg@ecs.soton.ac.uk</A>)
<DD><A href="http://www-i2.informatik.rwth-aachen.de/herbert/">Herbert Kuchen</A>
(<a href="mailto:herbert@informatik.rwth-aachen.de">herbert@informatik.rwth-aachen.de</A>)
</DL>
With a Special track on Declarative Programming Languages in Education,
organised by:
<DL><DD><a href="http://www.cwi.nl/~apt">Krzysztof Apt</A>
(<a href="mailto:apt@cwi.nl">apt@cwi.nl</A>)
<DD><a href=http://www.ecs.soton.ac.uk/~phh>Pieter Hartel</a>
(<a href="mailto:phh@ecs.soton.ac.uk">phh@ecs.soton.ac.uk</A>)
<DD><a href="http://www.cwi.nl/~paulk/">Paul Klint</a>
(<a href="mailto:paulk@cwi.nl">paulk@cwi.nl</A>)
</DL>
<DT><b><a HREF="alp/index.html">ALP '97</A></b><DD>Sixth International Conference on Algebraic and Logic Programming
<BR>Organised by:
<DL><DD><a href=" http://www-i2.informatik.rwth-aachen.de/~hanus/">Michel Hanus</A>
(<a href="mailto:hanus@informatik.rwth-aachen.de">hanus@informatik.rwth-aachen.de</A>)
<DD><a href="http://www.nada.kth.se/~karlm/">Karl Meinke</a>
(<a href="mailto:karlm@nada.kth.se">karlm@nada.kth.se</A>)
</DL>
<DT><b><a HREF="http://www.cwi.nl/~jan/HOA97cfp.html">HOA '97</A></b><DD>Third International Workshop on Higher-Order Algebra, Logic and Term Rewriting
<BR>Organised by:
<DL><DD><a href="http://www.cwi.nl/~jan/">Jan Heering</a>
(<a href="mailto:jan@cwi.nl">jan@cwi.nl</A>)
<DD><a href="http://www.nada.kth.se/~karlm/">Karl Meinke</a>
(<a href="mailto:karlm@nada.kth.se">karlm@nada.kth.se</A>)
<DD><a href="http://www.Math.Uni-Augsburg.DE/~moeller/welcome.html">Bernhard Möller</A>
(<a href="mailto:Bernhard.Moeller@Informatik.Uni-Augsburg.de">Bernhard.Moeller@Informatik.Uni-Augsburg.de</A>)
<DD><A HREF="http://www4.informatik.tu-muenchen.de/MITARBEITER/nipkow/
">Tobias Nipkow</A>
(<a href="mailto:nipkow@informatik.tu-muenchen.de">nipkow@informatik.tu-muenchen.de</A>)
</DL>
</DL>
<hr>
<h2>Publication</h2>
The proceedings of PLILP and of ALP/HOA will appear as two separate
editions of Springer-Verlag LNCS.
<hr>
<H2>Important Dates</H2>
<table>
<tr><td>Deadline for all submissions:</td><td><B>1st April, 1997</B></td>
<p>
<tr><td>Notification of acceptance/rejection:</td><td><b>1st June, 1997</b></td>
<p>
<tr><td>Early registration date:</td><td><b>4th August, 1997</b></td>
<p>
<tr><td>Conference:</td><td><b>3rd-5th September, 1997</b></td>
<tr>
</table>
<HR>
<h4><a href="location.html">Location</A></h4>
<h4><a href="accommodation.html">Accommodation</A></h4>
<h4><a href="timetable.html">Timetable</A></h4>
<h4><a href="call-for-participation.ps">Call for participation (postscript)</A></h4>
<h4><a href="registration.html">Registration</A></h4>
<hr>
We are pleased to announce that these conferences are organised in cooperation with
<UL>
<LI><A HREF="http://www.bcs.org.uk/">The British Computer Society</A>
<LI><A HREF="http://www.cs.mu.oz.au/~ad/alp/archive.html">ALP</A> The Association of Logic Programming
<LI><A HREF="http://www.compulog.org:8080/">Compulog Net</A>
The ESPRIT Network of Excellence in Computational Logic
<LI>The European Association for Computer Science Logic (EACSL) endorses ALP and HOA
</UL>
<hr>
<H4><A HREF="http://www.ecs.soton.ac.uk/~hg/southampton1997/index.html">Main conference page</A></H4>
<hr>
<p>
<a href=http://www.ecs.soton.ac.uk/~hg>Hugh Glaser</a><br>
<a href=http://www.ecs.soton.ac.uk/~phh>Pieter Hartel</a><br>
<a href="http://www.dsse.ecs.soton.ac.uk/"> Declarative Systems & Software Engineering Group</a><br>
<a href="http://www.ecs.soton.ac.uk/"> Department of Electronics and Computer Science</a><br>
<a HREF="http://www.soton.ac.uk/"> University of Southampton</a>
<p>
<address>
11th May 1998
</address>
</BODY>
]]>