All conferences / FORMATS / 2019
FORMATS 2019
17th International Conference on Formal Modeling and Analysis of Timed Systems
Submission timeline
-
20 May 2019
Abstract registration
9 May 2019→ 20 May 2019 +11 days -
20 May 2019
Full paper
13 May 2019→ 20 May 2019 +7 days -
23 Jun 2019
Notification
21 Jun 2019→ 23 Jun 2019 +2 days
- 27 Aug 2019 Conference opens
What to submit
- Format
- 15 pages LNCS + references + appendix (regular) / 5 pages (tools)
- Proceedings
- Springer LNCS — Paywalled, for-profit
One week deadline extension in 2012, none in 2013, one week in 2014, one week in 2015 (+4 days to edit the paper), one week in 2016, one week in 2017, 12+7 days in 2018, 7 days in 2019. Co-located with CONCUR. Best paper award in the honor of Oded Maler (since 2018).