{
 "generated": "2026-08-13T11:47:39.306940+00:00",
 "source": "https://www.conferences-computer.science/formats/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FORMATS",
 "name": "International Conference on Formal Modeling and Analysis of Timed Systems",
 "count": 10,
 "editions": [
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2014",
   "edition": 12,
   "title": "12th International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "http://www.florence2014.org/",
   "page": "https://www.conferences-computer.science/formats/2014/",
   "status": null,
   "abstract_deadline": "2014-04-21",
   "paper_deadline": "2014-04-28",
   "paper_deadline_announced": "2014-04-28",
   "paper_extended_days": 0,
   "notification": "2014-06-09",
   "timezone": null,
   "event_start": "2014-09-08",
   "event_end": "2014-09-10",
   "city": "Florence, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 43.7696,
   "lon": 11.2558,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": null
  },
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2015",
   "edition": 13,
   "title": "13th International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "http://formats2015.unifi.it",
   "page": "https://www.conferences-computer.science/formats/2015/",
   "status": null,
   "abstract_deadline": "2015-04-27",
   "paper_deadline": "2015-05-04",
   "paper_deadline_announced": "2015-05-04",
   "paper_extended_days": 0,
   "notification": "2015-06-11",
   "timezone": null,
   "event_start": "2015-09-02",
   "event_end": "2015-09-04",
   "city": "Madrid, Spain",
   "country": "ES",
   "continent": "EU",
   "lat": 40.4168,
   "lon": -3.7038,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + appendix",
   "dblp": null
  },
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2016",
   "edition": 14,
   "title": "14th International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "http://formats2016.lsv.fr",
   "page": "https://www.conferences-computer.science/formats/2016/",
   "status": null,
   "abstract_deadline": "2016-04-26",
   "paper_deadline": "2016-04-29",
   "paper_deadline_announced": "2016-04-22",
   "paper_extended_days": 7,
   "notification": "2016-06-13",
   "timezone": null,
   "event_start": "2016-08-24",
   "event_end": "2016-08-26",
   "city": "Québec City, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 46.8139,
   "lon": -71.208,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + appendix",
   "dblp": null
  },
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2017",
   "edition": 15,
   "title": "15th International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "http://formats17.ulb.be/",
   "page": "https://www.conferences-computer.science/formats/2017/",
   "status": null,
   "abstract_deadline": "2017-05-03",
   "paper_deadline": "2017-05-05",
   "paper_deadline_announced": "2017-04-28",
   "paper_extended_days": 7,
   "notification": "2017-06-10",
   "timezone": null,
   "event_start": "2017-09-05",
   "event_end": "2017-09-07",
   "city": "Berlin, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 52.52,
   "lon": 13.405,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + appendix",
   "dblp": null
  },
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2018",
   "edition": 16,
   "title": "16th International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "http://lcs.ios.ac.cn/formats2018/",
   "page": "https://www.conferences-computer.science/formats/2018/",
   "status": null,
   "abstract_deadline": "2018-04-18",
   "paper_deadline": "2018-04-18",
   "paper_deadline_announced": "2018-03-30",
   "paper_extended_days": 19,
   "notification": "2018-05-25",
   "timezone": null,
   "event_start": "2018-09-04",
   "event_end": "2018-09-06",
   "city": "Beijing, China",
   "country": "CN",
   "continent": "AS",
   "lat": 39.9042,
   "lon": 116.4074,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + appendix",
   "dblp": null
  },
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2019",
   "edition": 17,
   "title": "17th International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "https://lipn.univ-paris13.fr/formats2019/",
   "page": "https://www.conferences-computer.science/formats/2019/",
   "status": null,
   "abstract_deadline": "2019-05-20",
   "paper_deadline": "2019-05-20",
   "paper_deadline_announced": "2019-05-13",
   "paper_extended_days": 7,
   "notification": "2019-06-23",
   "timezone": null,
   "event_start": "2019-08-27",
   "event_end": "2019-08-29",
   "city": "Amsterdam, The Netherlands",
   "country": "NL",
   "continent": "EU",
   "lat": 52.3676,
   "lon": 4.9041,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references + appendix (regular) / 5 pages (tools)",
   "dblp": null
  },
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2020",
   "edition": 18,
   "title": "18th International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "https://formats-2020.cs.ru.nl/",
   "page": "https://www.conferences-computer.science/formats/2020/",
   "status": null,
   "abstract_deadline": "2020-04-28",
   "paper_deadline": "2020-05-07",
   "paper_deadline_announced": "2020-04-13",
   "paper_extended_days": 24,
   "notification": "2020-06-29",
   "timezone": null,
   "event_start": "2020-09-01",
   "event_end": "2020-09-03",
   "city": "Virtual (Vienna, Austria)",
   "country": "AT",
   "continent": "EU",
   "lat": 48.2082,
   "lon": 16.3738,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references + appendix (regular) / 5 pages (tools)",
   "dblp": null
  },
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2021",
   "edition": 19,
   "title": "19th International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "https://qonfest2021.lacl.fr/formats21.php",
   "page": "https://www.conferences-computer.science/formats/2021/",
   "status": null,
   "abstract_deadline": "2021-05-10",
   "paper_deadline": "2021-05-10",
   "paper_deadline_announced": "2021-04-13",
   "paper_extended_days": 27,
   "notification": "2021-06-21",
   "timezone": null,
   "event_start": "2021-08-23",
   "event_end": "2021-08-27",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references + appendix (regular) / 5 pages (tools)",
   "dblp": null
  },
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2022",
   "edition": 20,
   "title": "20th International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "https://conferences.ncl.ac.uk/formats2022/",
   "page": "https://www.conferences-computer.science/formats/2022/",
   "status": null,
   "abstract_deadline": "2022-05-04",
   "paper_deadline": "2022-05-06",
   "paper_deadline_announced": "2022-04-22",
   "paper_extended_days": 14,
   "notification": "2022-06-17",
   "timezone": null,
   "event_start": "2022-09-12",
   "event_end": "2022-09-17",
   "city": "Warsaw, Poland",
   "country": "PL",
   "continent": "EU",
   "lat": 52.2297,
   "lon": 21.0122,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references + appendix (regular) / 7 pages (tools)",
   "dblp": null
  },
  {
   "slug": "formats",
   "acronym": "FORMATS",
   "year": "2023",
   "edition": 21,
   "title": "21st International Conference on Formal Modeling and Analysis of Timed Systems",
   "url": "https://conferences.ncl.ac.uk/formats2022/",
   "page": "https://www.conferences-computer.science/formats/2023/",
   "status": null,
   "abstract_deadline": "2023-05-04",
   "paper_deadline": "2023-05-08",
   "paper_deadline_announced": "2023-04-28",
   "paper_extended_days": 10,
   "notification": "2023-06-16",
   "timezone": null,
   "event_start": "2023-09-19",
   "event_end": "2023-09-21",
   "city": "Antwerp, Belgium",
   "country": "BE",
   "continent": "EU",
   "lat": 51.2194,
   "lon": 4.4025,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references + appendix (regular) / 7 pages (tools)",
   "dblp": null
  }
 ]
}