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.

The workshop will last three days, including eight talks of 45 minutes, four talks of 30 minutes and free time for discussions. A preliminary schedule is already available.

If you are interested in attending the workshop, please send an e-mail to both:

    Gilles Geeraerts (gigeerae [at] and Thomas Brihaye (thomas.brihaye [at]

The workshop will take place on the campus of the University of Warwick (online map of the campus and the area), at the Department of Computer Science and the Centre for Discrete Mathematics and its Applications (DIMAP) (buildings 13 and 35 on the campus map).