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 workshop, partially funded by the British Council and the CGRI is to bring together young researchers, specialized in timed systems, in order to share new ideas and foster new collaborations.

The poster of the workshop can be downloaded here.

The workshop will last three days, including eight talks of 45 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 organizers:

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

The talks of the workshop will take place in the Solvay room of the NO building at the campus "Plaine" of the Université Libre de Bruxelles.

Information about reaching the university and accomodation can be found here.