This volume consists of the proceedings of the Sixth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed. Further, three invited talks that survey various aspects of this broad research domain were presented at the conference: “Composing Web Services in an Open World: QoS Issues” (Albert Benveniste); “Recent Results in Metric Temporal Logic” (Jo¨el Ouaknine); “Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets” (Jiri Srba).
FORMATS 2008 was co-located with QEST 2008 (Fifth International Conference on the Quantitative Evaluation of SysTems) and took place in Saint-Malo, France, during September 14–17, 2008. Detailed information about FORMATS 2008 can be found at http://formats08.inria.fr/, while, the generic link for the QEST conference series is http://www.qest.org. This was a great opportunity for researchers of both communities to share their scientific interests in timed systems.
This year we received 37 submissions and the Programme Committee selected 17 submissions for presentation at the conference. FORMATS 2008 used the EasyChair conference system to manage the reviewing process. The topics dealt with by the accepted papers cover: the theory of timed and hybrid systems, analysis and verification techniques and case studies. We wish to thank the Programme Committee members and the other reviewers for their competent and timely review of the submissions. We also wish to sincerely thank the three invited speakers, Albert Benveniste, Jo¨el Ouaknine, and Jiri Srba, for accepting our invitation and providing extended abstracts of their talks to be included in the proceedings. As always, the Springer LNCS team provided excellent support in the preparation of this volume.