ISOPS-12 Proceeding Book