Computer systems are nowadays embedded in a very wide range of applications, many of which are regarded as critical, in the sense that any failure may have potentially catastrophic outcomes both from the human and economical point of view. Such applications are, for instance, transportation systems, control of production plants, and so forth. Having the ability to prove the correctness of computer systems against given requirements (that often include time-related constraints) is thus regarded today as a major issue in computer science.
The main objective of this second workshop, partially funded by the British Council and the CGRI is to bring together young researchers, specialized in timed and infnite systems, in order to share new ideas and foster new collaborations.
