### Sixth International Conference on Algebraic and Logic Programming

September 3-5, 1997
#### University of Southampton

ALP aims at strengthening the connections between algebraic techniques
and logic programming.
Many efforts have been made to include algebraic concepts into
logic programming (functions, types, modules, equational theories
and constraints). ALP promotes the cross-fertilizing exchange
of ideas and experiences among researchers from the algebraic
and logic programming communities.

### Topics (non exclusive list):

- Semantics of algebraic and logic programming
- Integration of functional and logic programming
- Term rewriting, narrowing, resolution
- Constraint logic programming and theorem proving with constraints
- Concurrent features in algebraic and logic programming languages
- Higher order features in algebraic and logic programming languages

Hugh Glaser

Pieter Hartel

Declarative Systems & Software Engineering Group

Department of Electronics and Computer Science

University of Southampton

4th July 1997