Contents

First International Workshop on Component-based Software Development in Computational Logic

WLP'98

Second Workshop on Verification, Model Checking and Abstract Interpretation

Appia-Gulp-Prode'98

LOPSTR'98

Second International COTIC Workshop

COCL'98