First International Conference on Computational Logic