The specification and monitoring of spatio-temporal properties is becoming of utmost importance in many application contexts. These may range from "traffic control systems", where we are interested in forecasting the formation of traffic jams, to "medical equipments", where the recognition of some spatial patterns can be used to identify health problems. In this talk we will introduce languages and tools that can be used to specify and verify properties of systems that dynamically evolve in time and space. We also show how the proposed formalisms can be used to support monitoring of different class of systems. Finally, we will discuss some of the future directions and open problems.
Join at http://imt.lu/seminar