{
 "generated": "2026-08-13T11:47:39.291436+00:00",
 "source": "https://www.conferences-computer.science/facs/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FACS",
 "name": "International Conference Formal Aspects of Component Software",
 "count": 10,
 "editions": [
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2014",
   "edition": 11,
   "title": "11th International Symposium Formal Aspects of Component Software",
   "url": "http://facs2014.cs.unibo.it/",
   "page": "https://www.conferences-computer.science/facs/2014/",
   "status": null,
   "abstract_deadline": "2014-06-15",
   "paper_deadline": "2014-06-22",
   "paper_deadline_announced": "2014-06-22",
   "paper_extended_days": 0,
   "notification": "2014-07-21",
   "timezone": null,
   "event_start": "2014-09-10",
   "event_end": "2014-09-12",
   "city": "Bertinoro, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 44.1467,
   "lon": 12.135,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS format (research / applications / survey) / 6 (tool)",
   "dblp": "facs2"
  },
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2015",
   "edition": 12,
   "title": "12th International Symposium Formal Aspects of Component Software",
   "url": "http://facs2015.ic.uff.br",
   "page": "https://www.conferences-computer.science/facs/2015/",
   "status": null,
   "abstract_deadline": "2015-07-03",
   "paper_deadline": "2015-07-12",
   "paper_deadline_announced": "2015-06-28",
   "paper_extended_days": 14,
   "notification": "2015-08-28",
   "timezone": null,
   "event_start": "2015-10-14",
   "event_end": "2015-10-16",
   "city": "Rio de Janeiro, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -22.9068,
   "lon": -43.1729,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS format (research / applications / survey) / 6 (tool)",
   "dblp": "facs2"
  },
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2016",
   "edition": 13,
   "title": "13th International Conference Formal Aspects of Component Software",
   "url": "http://events.femto-st.fr/facs2016/en",
   "page": "https://www.conferences-computer.science/facs/2016/",
   "status": null,
   "abstract_deadline": "2016-07-04",
   "paper_deadline": "2016-07-11",
   "paper_deadline_announced": "2016-07-01",
   "paper_extended_days": 10,
   "notification": "2016-08-24",
   "timezone": null,
   "event_start": "2016-10-19",
   "event_end": "2016-10-21",
   "city": "Bensançon, France",
   "country": "FR",
   "continent": "EU",
   "lat": 47.2378,
   "lon": 6.0241,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS format (research / applications / survey) / 6 (tool)",
   "dblp": "facs2"
  },
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2017",
   "edition": 14,
   "title": "14th International Conference Formal Aspects of Component Software",
   "url": "http://facs2017.di.uminho.pt",
   "page": "https://www.conferences-computer.science/facs/2017/",
   "status": null,
   "abstract_deadline": "2017-05-19",
   "paper_deadline": "2017-05-26",
   "paper_deadline_announced": "2017-05-26",
   "paper_extended_days": 0,
   "notification": "2017-07-17",
   "timezone": null,
   "event_start": "2017-10-10",
   "event_end": "2017-10-13",
   "city": "Braga, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 41.5454,
   "lon": -8.4265,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS format (research / applications / survey) / 6 (tool)",
   "dblp": "facs2"
  },
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2018",
   "edition": 15,
   "title": "15th International Conference Formal Aspects of Component Software",
   "url": "http://sevlab.postech.ac.kr/facs18",
   "page": "https://www.conferences-computer.science/facs/2018/",
   "status": null,
   "abstract_deadline": "2018-06-15",
   "paper_deadline": "2018-06-25",
   "paper_deadline_announced": "2018-06-15",
   "paper_extended_days": 10,
   "notification": "2018-08-07",
   "timezone": null,
   "event_start": "2018-10-10",
   "event_end": "2018-10-12",
   "city": "Pohang, South Korea",
   "country": "KR",
   "continent": "AS",
   "lat": 36.019,
   "lon": 129.3435,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS format (research / applications / survey) / 6 (tool)",
   "dblp": "facs2"
  },
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2019",
   "edition": 16,
   "title": "16th International Conference Formal Aspects of Component Software",
   "url": "http://facs2019.org/",
   "page": "https://www.conferences-computer.science/facs/2019/",
   "status": null,
   "abstract_deadline": "2019-07-05",
   "paper_deadline": "2019-07-12",
   "paper_deadline_announced": "2019-06-28",
   "paper_extended_days": 14,
   "notification": "2019-08-30",
   "timezone": "AoE",
   "event_start": "2019-10-23",
   "event_end": "2019-10-25",
   "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": "18 pages LNCS format + references  (research / applications / survey) / 6 (tool) + ref / 2 pages (journal-first)",
   "dblp": "facs2"
  },
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2021",
   "edition": 17,
   "title": "17th International Conference Formal Aspects of Component Software",
   "url": "https://facs2021.inria.fr/",
   "page": "https://www.conferences-computer.science/facs/2021/",
   "status": null,
   "abstract_deadline": "2021-07-09",
   "paper_deadline": "2021-07-16",
   "paper_deadline_announced": "2021-07-02",
   "paper_extended_days": 14,
   "notification": "2021-08-20",
   "timezone": "AoE",
   "event_start": "2021-10-28",
   "event_end": "2021-10-29",
   "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": "18 pages LNCS format + references  (research / applications / survey) / 6 (tool) + ref / 2 pages (journal-first)",
   "dblp": "facs2"
  },
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2022",
   "edition": 18,
   "title": "18th International Conference Formal Aspects of Component Software",
   "url": "https://facs-conference.github.io/2022",
   "page": "https://www.conferences-computer.science/facs/2022/",
   "status": null,
   "abstract_deadline": "2022-07-18",
   "paper_deadline": "2022-07-18",
   "paper_deadline_announced": "2022-07-04",
   "paper_extended_days": 14,
   "notification": "2022-09-05",
   "timezone": "AoE",
   "event_start": "2022-11-10",
   "event_end": "2022-11-11",
   "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": "18 pages LNCS format + references  (research / applications / survey) / 6 (tool) + ref / 2 pages (journal-first)",
   "dblp": "facs2"
  },
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2023",
   "edition": 19,
   "title": "19th International Conference Formal Aspects of Component Software",
   "url": "https://facs-conference.github.io",
   "page": "https://www.conferences-computer.science/facs/2023/",
   "status": null,
   "abstract_deadline": "2023-07-17",
   "paper_deadline": "2023-07-17",
   "paper_deadline_announced": "2023-07-10",
   "paper_extended_days": 7,
   "notification": "2023-09-08",
   "timezone": "AoE",
   "event_start": "2023-10-19",
   "event_end": "2023-10-20",
   "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": "16 pages LNCS format + references  (research / applications / survey) / 6 (tool) + ref / 4 pages (journal-first)",
   "dblp": "facs2"
  },
  {
   "slug": "facs",
   "acronym": "FACS",
   "year": "2024",
   "edition": 20,
   "title": "20th International Conference Formal Aspects of Component Software",
   "url": "https://facs-conference.github.io/2024/",
   "page": "https://www.conferences-computer.science/facs/2024/",
   "status": null,
   "abstract_deadline": "2024-05-23",
   "paper_deadline": "2024-05-30",
   "paper_deadline_announced": "2024-05-15",
   "paper_extended_days": 15,
   "notification": "2024-07-03",
   "timezone": "AoE",
   "event_start": "2024-09-09",
   "event_end": "2024-09-10",
   "city": "Milan, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.4642,
   "lon": 9.19,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS format + references  (research / applications / survey) / 6 (tool) + ref / 4 pages (journal-first)",
   "dblp": "facs2"
  }
 ]
}