U. Trieste and ISP are organizing a workshop on spatio-temporal reasoning for CPS co-located with CDC'19

University of Trieste and ISP are organizing a workshop on spatio-temporal reasoning for CPS co-located with CDC'19 (see strcc.isp.uni-luebeck.de).  This 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 will include a diversity of renown speakers with expertise on areas such as: control theory and formal methods with application in robotics and systems biology; formal methods applied in robot motion planning, control and analysis of dynamical and hybrid systems and multi-agent control; software engineering and programming languages, methods and tools to improve dependability of adaptable distributed applications; quantitative modelling and analysis of complex systems; and finally knowledge representation and reasoning with particular emphasis on spatial and temporal reasoning.