[logic-ml] Workshop on secure quantum computing