{
 "generated": "2026-08-13T12:27:01.234483+00:00",
 "source": "https://www.conferences-computer.science/forte/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FORTE",
 "name": "International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
 "count": 12,
 "editions": [
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2015",
   "edition": 35,
   "title": "35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems",
   "url": "http://discotec2015.inria.fr/",
   "page": "https://www.conferences-computer.science/forte/2015/",
   "status": null,
   "abstract_deadline": "2015-02-15",
   "paper_deadline": "2015-02-22",
   "paper_deadline_announced": "2015-02-22",
   "paper_extended_days": 0,
   "notification": "2015-03-23",
   "timezone": null,
   "event_start": "2015-06-02",
   "event_end": "2015-06-04",
   "city": "Grenoble, France",
   "country": "FR",
   "continent": "EU",
   "lat": 45.1885,
   "lon": 5.7245,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": null,
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular / tool) / 7 pages (short / tool demo) / 3 pages (poster)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2016",
   "edition": 36,
   "title": "36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems",
   "url": "http://forte2016.discotec.org",
   "page": "https://www.conferences-computer.science/forte/2016/",
   "status": null,
   "abstract_deadline": "2016-02-15",
   "paper_deadline": "2016-02-22",
   "paper_deadline_announced": "2016-02-08",
   "paper_extended_days": 14,
   "notification": "2016-03-29",
   "timezone": null,
   "event_start": "2016-06-06",
   "event_end": "2016-06-09",
   "city": "Heraklion, Crete, Greece",
   "country": "GR",
   "continent": "EU",
   "lat": 35.3387,
   "lon": 25.1442,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular / tool) / 7 pages (short / tool demo) / 3 pages (poster)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2017",
   "edition": 37,
   "title": "37th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems",
   "url": "http://2017.discotec.org/",
   "page": "https://www.conferences-computer.science/forte/2017/",
   "status": null,
   "abstract_deadline": "2017-02-17",
   "paper_deadline": "2017-02-24",
   "paper_deadline_announced": "2017-02-10",
   "paper_extended_days": 14,
   "notification": "2017-04-10",
   "timezone": null,
   "event_start": "2017-06-19",
   "event_end": "2017-06-22",
   "city": "Neuchâtel, Switzerland",
   "country": "CH",
   "continent": "EU",
   "lat": 46.99,
   "lon": 6.9293,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular / tool) / 7 pages (short / tool demo) / 3 pages (poster)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2018",
   "edition": 38,
   "title": "38th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems",
   "url": "http://2018.discotec.org/",
   "page": "https://www.conferences-computer.science/forte/2018/",
   "status": null,
   "abstract_deadline": "2018-02-16",
   "paper_deadline": "2018-02-23",
   "paper_deadline_announced": "2018-02-09",
   "paper_extended_days": 14,
   "notification": "2018-03-30",
   "timezone": null,
   "event_start": "2018-06-18",
   "event_end": "2018-06-21",
   "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": "A",
   "submitted": 28,
   "accepted": 10,
   "acceptance_rate": 35.7,
   "format": "15 pages LNCS (regular / tool) / 7 pages (short / tool demo) / 3 pages (poster)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2019",
   "edition": 39,
   "title": "39th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems",
   "url": "https://www.discotec.org/2019/forte",
   "page": "https://www.conferences-computer.science/forte/2019/",
   "status": null,
   "abstract_deadline": "2019-02-15",
   "paper_deadline": "2019-02-22",
   "paper_deadline_announced": "2019-02-08",
   "paper_extended_days": 14,
   "notification": "2019-04-12",
   "timezone": null,
   "event_start": "2019-06-18",
   "event_end": "2019-06-21",
   "city": "Lyngby, Denmark",
   "country": "DK",
   "continent": "EU",
   "lat": 55.7704,
   "lon": 12.503,
   "online": false,
   "publisher": "Springer LNCS IFIP",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 42,
   "accepted": 18,
   "acceptance_rate": 42.9,
   "format": "15 pages LNCS (regular / tool) / 7 pages (short / tool demo) / 3 pages (poster)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2020",
   "edition": 40,
   "title": "40th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems",
   "url": "https://www.discotec.org/2020/forte",
   "page": "https://www.conferences-computer.science/forte/2020/",
   "status": null,
   "abstract_deadline": "2020-02-17",
   "paper_deadline": "2020-02-28",
   "paper_deadline_announced": "2020-02-14",
   "paper_extended_days": 14,
   "notification": "2020-04-10",
   "timezone": null,
   "event_start": "2020-06-15",
   "event_end": "2020-06-19",
   "city": "Valletta, Malta",
   "country": "MT",
   "continent": "EU",
   "lat": 35.8989,
   "lon": 14.5146,
   "online": false,
   "publisher": "Springer LNCS IFIP",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 25,
   "accepted": 11,
   "acceptance_rate": 44.0,
   "format": "15 pages LNCS (regular / tool) + 2 pages references / 6+2 pages (short / tool demo) / 2 pages (journal-first)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2021",
   "edition": 41,
   "title": "41st IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems",
   "url": "https://www.discotec.org/2021/forte",
   "page": "https://www.conferences-computer.science/forte/2021/",
   "status": null,
   "abstract_deadline": "2021-02-12",
   "paper_deadline": "2021-02-19",
   "paper_deadline_announced": "2021-02-05",
   "paper_extended_days": 14,
   "notification": "2021-04-02",
   "timezone": null,
   "event_start": "2021-06-14",
   "event_end": "2021-06-18",
   "city": "Valletta, Malta",
   "country": "MT",
   "continent": "EU",
   "lat": 35.8989,
   "lon": 14.5146,
   "online": false,
   "publisher": "Springer LNCS IFIP",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular / tool) + 2 pages references / 6+2 pages (short / tool demo) / 2 pages (journal-first)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2022",
   "edition": 42,
   "title": "42nd IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems",
   "url": "https://www.discotec.org/2022/forte",
   "page": "https://www.conferences-computer.science/forte/2022/",
   "status": null,
   "abstract_deadline": "2022-02-11",
   "paper_deadline": "2022-02-18",
   "paper_deadline_announced": "2022-02-04",
   "paper_extended_days": 14,
   "notification": "2022-03-25",
   "timezone": "AoE",
   "event_start": "2022-06-13",
   "event_end": "2022-06-17",
   "city": "Lucca, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 43.843,
   "lon": 10.5079,
   "online": false,
   "publisher": "Springer LNCS IFIP",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 28,
   "accepted": 12,
   "acceptance_rate": 42.9,
   "format": "15 pages LNCS (regular / tool) + 2 pages references / 6+2 pages (short / tool demo) / 4 pages (journal-first)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2023",
   "edition": 43,
   "title": "43rd IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems",
   "url": "https://www.discotec.org/2023/forte",
   "page": "https://www.conferences-computer.science/forte/2023/",
   "status": null,
   "abstract_deadline": "2023-02-24",
   "paper_deadline": "2023-03-04",
   "paper_deadline_announced": "2023-02-18",
   "paper_extended_days": 14,
   "notification": "2023-04-07",
   "timezone": "AoE",
   "event_start": "2023-06-19",
   "event_end": "2023-06-23",
   "city": "Lisbon, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 38.7223,
   "lon": -9.1393,
   "online": false,
   "publisher": "Springer LNCS IFIP",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular / tool) + 2 pages references / 6+2 pages (short / tool demo) / 4 pages (journal-first)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2024",
   "edition": 44,
   "title": "44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "url": "https://www.discotec.org/2024/forte",
   "page": "https://www.conferences-computer.science/forte/2024/",
   "status": null,
   "abstract_deadline": "2024-02-16",
   "paper_deadline": "2024-02-23",
   "paper_deadline_announced": "2024-02-09",
   "paper_extended_days": 14,
   "notification": "2024-04-05",
   "timezone": "AoE",
   "event_start": "2024-06-17",
   "event_end": "2024-06-21",
   "city": "Groningen, The Netherlands",
   "country": "NL",
   "continent": "EU",
   "lat": 53.2194,
   "lon": 6.5665,
   "online": false,
   "publisher": "Springer LNCS IFIP",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular / tool) + references / 6 (short / tool demo / journal)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2025",
   "edition": 45,
   "title": "45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "url": "https://www.discotec.org/2025/forte",
   "page": "https://www.conferences-computer.science/forte/2025/",
   "status": null,
   "abstract_deadline": "2025-02-14",
   "paper_deadline": "2025-02-21",
   "paper_deadline_announced": "2025-02-07",
   "paper_extended_days": 14,
   "notification": "2025-04-04",
   "timezone": "AoE",
   "event_start": "2025-06-16",
   "event_end": "2025-06-20",
   "city": "Lille, France",
   "country": "FR",
   "continent": "EU",
   "lat": 50.6292,
   "lon": 3.0573,
   "online": false,
   "publisher": "Springer LNCS IFIP",
   "license": "pay-profit-embargo",
   "doi": null,
   "core_rank": "C",
   "submitted": 23,
   "accepted": 13,
   "acceptance_rate": 56.5,
   "format": "15 pages LNCS (regular / tool) + references / 6 (short / tool demo / journal)",
   "dblp": "forte"
  },
  {
   "slug": "forte",
   "acronym": "FORTE",
   "year": "2026",
   "edition": 46,
   "title": "46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "url": "https://www.discotec.org/2026/forte",
   "page": "https://www.conferences-computer.science/forte/2026/",
   "status": null,
   "abstract_deadline": "2026-02-13",
   "paper_deadline": "2026-02-20",
   "paper_deadline_announced": "2026-02-06",
   "paper_extended_days": 14,
   "notification": "2026-03-24",
   "timezone": "AoE",
   "event_start": "2026-06-08",
   "event_end": "2026-06-12",
   "city": "Urbino, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 43.7262,
   "lon": 12.6365,
   "online": false,
   "publisher": "Springer LNCS IFIP",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular / tool) + references / 6 (short / tool demo / journal)",
   "dblp": "forte"
  }
 ]
}