Proceedings (CPS, IEEE Computer Society)