International Center for Computational Logic