Long Cheng – International Center for Computational Logic