“…Symposium on Computational Logic…”