[logic-ml] New journal: TheoretiCS