Scientific objectives

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 and, as a generalization, hybrid systems. Typical topics include (but are not limited to):

  • Foundations and Semantics: Theoretical foundations of timed systems and languages; comparison between different models (such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models)
  • Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing or synthesizing timed or hybrid systems and for resolving temporal constraints (e.g. scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving)
  • Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, embedded control, hardware circuits, and problems of scheduling in manufacturing and telecommunication, etc.)

Steering committee

Previous editions