CIVIL-COMP PROCEEDINGS Journal uri icon