15th International Conference on Formal Modelling and Analysis of Timed Systems
15th International Conference on Formal Modelling and Analysis of Timed Systems

Call for papers

FORMATS’17 solicits high-quality papers reporting research results and/or experience reports related to a broad scope of topics related to timed systems (see the full call for papers hereinafter).

The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines.

Submissions should not exceed 15 pages in length (not including the bibliography which is thus not restricted), but may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.

Each paper will undergo a thorough review process.

You can find the call for papers here:

Call for papers