FORMATS

International Conference on Formal Modeling and Analysis of Timed Systems

Editions listed10 Covered2014–2023 Rank nowCORE absent

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2023	21	19–21 Sep 2023	Antwerp 🇧🇪	8 May +10 days	—	—
2022	20	12–17 Sep 2022	Warsaw 🇵🇱	6 May +14 days	—	—
2021	19	23–27 Aug 2021	Online	10 May +27 days	—	—
2020	18	1–3 Sep 2020	Virtual (Vienna 🇦🇹	7 May +24 days	—	—
2019	17	27–29 Aug 2019	Amsterdam 🇳🇱	20 May +7 days	—	—
2018	16	4–6 Sep 2018	Beijing 🇨🇳	18 Apr +19 days	—	—
2017	15	5–7 Sep 2017	Berlin 🇩🇪	5 May +7 days	—	—
2016	14	24–26 Aug 2016	Québec City 🇨🇦	29 Apr +7 days	—	—
2015	13	2–4 Sep 2015	Madrid 🇪🇸	4 May	—	—
2014	12	8–10 Sep 2014	Florence 🇮🇹	28 Apr	—	—

A missing year does not mean the conference did not meet: coverage before 2014 has not been verified.

CORE rank over time

absent 2014–

Only the current rank is recorded; earlier rounds have not been checked.

Deadline habits

Extended: 8 of 8 editions
Typical: 7–27 days
Longest: 27 days
Not known: 2 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

Data: All editions as JSON

Notes carried over

Acceptance rate: 44% (18/41) in 2013, 44% (16/46) in 2014, 45% (19/42) in 2015, 44% (14/32) in 2016, 58% (18/31) in 2017, 48% (14/29) in 2018, 40% (17/42) in 2019, 47% (12+2/30) in 2022.

Kept verbatim from the old site while it is being turned into structured data.

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.