conferences.computer.science

All conferences / FORMATS

FORMATS

International Conference on Formal Modeling and Analysis of Timed Systems

Editions listed10 Covered2014–2023 Rank nowCORE absent
Continued

Continues as QEST+FORMATS.

Editions

YearEd.HeldWhere Paper deadlineAcceptedRate
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 Online 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.

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority ๐Ÿค“