IST Austria (close to
Objective and Scope: Timing aspects of systems
from a variety of
computer science domains have been treated independently by
communities. Researchers interested in semantics, verification
performance analysis study models such as timed automata and timed
nets, the digital design community focusses on propagation and
delays while designers of embedded controllers have to take account
the time taken by controllers to compute their responses after
the environment. Timing-related questions in these separate
do have their particularities. However, there is a growing
that there are basic problems that are common to all of them.
particular, all these sub-disciplines treat systems whose
depends upon combinations of logical and temporal constraints;
constraints on the temporal distances between occurrences of events.
aim of FORMATS is to promote the study of fundamental and
aspects of timed systems, and to bring together researchers
different disciplines that share interests in modeling and analysis
timed systems. Typical topics include (but are not limited to):
* Foundations and Semantics: Theoretical
foundations of timed
languages; comparison between different
(timed automata, timed
Petri nets, hybrid automata, timed
process algebra, max-plus algebra, probabilistic models).
* Methods and Tools: Techniques, algorithms,
data structures, and
tools for analyzing timed systems and
(scheduling, worst-case execution
analysis, optimization, model
checking, testing, constraint
* Applications: Adaptation and specialization
of timing technology
application domains in which timing plays an important
(real-time software, hardware
circuits, and problems of
scheduling in manufacturing and telecommunication).
* Abstract submission: April 11, 2010
* Paper submission: April 18, 2010 (STRICT)
* Author notification: May 23, 2010
* Camera ready version: June 13, 2010
Publication: The proceedings of FORMATS 10 will be
published by Springer in
the Lecture Notes in Computer Science series.
Papers must contain original
contributions, be clearly written, and
include appropriate references to and
comparison with related work.
Simultaneous submission to other conferences
with published proceedings
is not allowed. Submissions should not exceed 15
pages, and should be
formatted according to Springer LNCS guidelines. If
submission may be supplemented with a clearly marked appendix,
will be reviewed at the discretion of the program
will be handled by the EasyChair system.