Laura Nenzi, one of our principal investigators, will organize the workshop “SPATIO-TEMPORAL REASONING FOR CONTROL OF CYBER-PHYSICAL SYSTEMS” on December 10th, 2019. The workshop aims to present the most recent advances in the development of logic-based procedures for the analysis and control of spatially distributed Cyber Physical Systems (CPS), with particular emphasis on the combination of temporal and spatial behaviors. The workshop is co-located with the 58th IEEE Conference on Decision and Control (CDC’19) in Nice, France. For more details click here.