Combining the Fifth International Conference on Algebraic and Logic Programming (ALP); the Eighth International Symposium on Programming Languages Implementations, Logics, and Programs (PLILP); and the Third International Static Analysis Symposium (SAS). Aachen, Germany; 24--27 September 1996.