International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05)
Uppsala University
|
![]() |
The 3rd FORMATS was held in Uppsala, Sweden, September 26 - 28, 2005 in conjunction with ARTIST2 summer school, September 29 - October 2, 2005, on Component Modelling, Testing and Verification, and Static analysis of embedded systems.
Proceedings is published as number 3829 in Lecture Notes in Computer Science by Springer-Verlag.
Objective and ScopeIn the past, timing aspects of systems from a variety of computer science domains have been treated independently in separate scientific disciplines: People who are interested in semantics, verification or performance analysis are working on models such as timed automata, or timed Petri nets. Electrical engineers have to consider propagation delays in their circuits and designers of embedded controllers have to take into account the time it takes for the controller to compute its reaction after sampling the environment. While indeed the timing related questions in these separate disciplines have their particularities (e.g. worst case analysis vs. average case optimisation), there is a growing awareness of the difficult problems common to all of them, suggesting the interdisciplinary study of Timed Systems: The unifying theme underlying all these apparently different domains is that they treat systems whose behaviour depends upon combinations of logical and temporal constraints, e.g. constraints on the distance between the occurrences of two events. The aim of FORMATS is to promote the study of fundamental and
practical aspects of timed systems, and to bring together researchers
from different disciplines that share interests in modelling and analysis
of timed systems. Typical topics include (but are not limited to):
Invited Speakers
PublicationThere have been 19 papers accepted for presentation at FORMATS. In addition, we plan to have four invited speakers. The proceedings of FORMATS'05 will be published in the Lecture Notes in Computer Science series by Springer. |
Important Dates
Programme Committee
Steering Committee
Local Organization
Please use the email adress formats05(at)it.uu.se to contact the organisers. |