ALP '97

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):


Conference Page

Program committee

Submissions

Main conference page


Hugh Glaser
Pieter Hartel
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton

4th July 1997