{
 "generated": "2026-08-14T09:20:40.676717+00:00",
 "source": "https://www.conferences-computer.science/sbmf/",
 "licence": "CC BY-SA 4.0",
 "acronym": "SBMF",
 "name": "Brazilian Symposium on Formal Methods",
 "count": 14,
 "editions": [
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2013",
   "edition": null,
   "title": "Brazilian Symposium on Formal Methods",
   "url": null,
   "page": "https://www.conferences-computer.science/sbmf/2013/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": 29,
   "accepted": 14,
   "acceptance_rate": 48.3,
   "format": null,
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2014",
   "edition": 17,
   "title": "17th Brazilian Symposium on Formal Methods",
   "url": "http://www.ic.ufal.br/evento/cbsoft2014/",
   "page": "https://www.conferences-computer.science/sbmf/2014/",
   "status": null,
   "abstract_deadline": "2014-07-08",
   "paper_deadline": "2014-07-15",
   "paper_deadline_announced": "2014-07-15",
   "paper_extended_days": 0,
   "notification": "2014-08-15",
   "timezone": "UTC-03",
   "event_start": "2014-09-29",
   "event_end": "2014-09-30",
   "city": "Maceio, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -9.6658,
   "lon": -35.7353,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 34,
   "accepted": 13,
   "acceptance_rate": 38.2,
   "format": "16 pages LNCS",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2015",
   "edition": 18,
   "title": "18th Brazilian Symposium on Formal Methods",
   "url": "http://cbsoft.org/sbmf2015/brazilian-symposium-on-formal-methods-sbmf",
   "page": "https://www.conferences-computer.science/sbmf/2015/",
   "status": null,
   "abstract_deadline": "2015-06-06",
   "paper_deadline": "2015-07-10",
   "paper_deadline_announced": "2015-07-10",
   "paper_extended_days": 0,
   "notification": "2015-08-18",
   "timezone": "UTC-03",
   "event_start": "2015-09-21",
   "event_end": "2015-09-26",
   "city": "Maceio, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -9.6658,
   "lon": -35.7353,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 25,
   "accepted": 11,
   "acceptance_rate": 44.0,
   "format": "16 pages LNCS",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2016",
   "edition": 19,
   "title": "19th Brazilian Symposium on Formal Methods",
   "url": "http://sbmf2016.imd.ufrn.br/",
   "page": "https://www.conferences-computer.science/sbmf/2016/",
   "status": null,
   "abstract_deadline": "2016-08-01",
   "paper_deadline": "2016-08-11",
   "paper_deadline_announced": "2016-07-23",
   "paper_extended_days": 19,
   "notification": "2016-09-16",
   "timezone": null,
   "event_start": "2016-11-21",
   "event_end": "2016-11-25",
   "city": "Natal, Rio Grande do Norte, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -5.7945,
   "lon": -35.211,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 22,
   "accepted": 12,
   "acceptance_rate": 54.5,
   "format": "16 pages LNCS",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2017",
   "edition": 20,
   "title": "20th Brazilian Symposium on Formal Methods",
   "url": "https://sbc.org.br/sbmf2017",
   "page": "https://www.conferences-computer.science/sbmf/2017/",
   "status": null,
   "abstract_deadline": "2017-07-24",
   "paper_deadline": "2017-08-02",
   "paper_deadline_announced": "2017-07-21",
   "paper_extended_days": 12,
   "notification": "2017-09-08",
   "timezone": null,
   "event_start": "2017-11-27",
   "event_end": "2017-12-01",
   "city": "Recife, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -8.0476,
   "lon": -34.877,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2018",
   "edition": 21,
   "title": "21st Brazilian Symposium on Formal Methods",
   "url": "http://www.sbmf2018.ufba.br/",
   "page": "https://www.conferences-computer.science/sbmf/2018/",
   "status": null,
   "abstract_deadline": "2018-07-02",
   "paper_deadline": "2018-07-20",
   "paper_deadline_announced": "2018-07-13",
   "paper_extended_days": 7,
   "notification": "2018-08-28",
   "timezone": null,
   "event_start": "2018-11-26",
   "event_end": "2018-11-30",
   "city": "Salvador-BA, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -12.9777,
   "lon": -38.5016,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2019",
   "edition": 22,
   "title": "22nd Brazilian Symposium on Formal Methods",
   "url": "http://www.sbmf2018.ufba.br/",
   "page": "https://www.conferences-computer.science/sbmf/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-08-02",
   "paper_deadline_announced": "2019-08-02",
   "paper_extended_days": 0,
   "notification": "2019-10-03",
   "timezone": "AoE",
   "event_start": "2019-11-26",
   "event_end": "2019-11-28",
   "city": "São Paulo, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -23.5505,
   "lon": -46.6333,
   "online": false,
   "publisher": "Science of Computer Programming, Elsevier",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "No page limit (30 pages is sufficient)",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2020",
   "edition": 23,
   "title": "23rd Brazilian Symposium on Formal Methods",
   "url": "http://sbmf2020.ufop.br/",
   "page": "https://www.conferences-computer.science/sbmf/2020/",
   "status": null,
   "abstract_deadline": "2020-07-10",
   "paper_deadline": "2020-07-17",
   "paper_deadline_announced": "2020-07-17",
   "paper_extended_days": 0,
   "notification": "2020-08-31",
   "timezone": "AoE",
   "event_start": "2020-11-25",
   "event_end": "2020-11-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": "16 pages (regular) / 4 pages (journal-first)",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2021",
   "edition": 24,
   "title": "24th Brazilian Symposium on Formal Methods",
   "url": "http://sbmf2021.computacao.ufcg.edu.br/",
   "page": "https://www.conferences-computer.science/sbmf/2021/",
   "status": null,
   "abstract_deadline": "2021-07-30",
   "paper_deadline": "2021-08-06",
   "paper_deadline_announced": "2021-07-30",
   "paper_extended_days": 7,
   "notification": "2021-09-10",
   "timezone": "AoE",
   "event_start": "2021-12-06",
   "event_end": "2021-12-10",
   "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 (regular) / 4 pages (journal-first)",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2022",
   "edition": null,
   "title": "Brazilian Symposium on Formal Methods",
   "url": null,
   "page": "https://www.conferences-computer.science/sbmf/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": 14,
   "accepted": 8,
   "acceptance_rate": 57.1,
   "format": null,
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2023",
   "edition": 26,
   "title": "26th Brazilian Symposium on Formal Methods",
   "url": "http://sbmf2021.computacao.ufcg.edu.br/",
   "page": "https://www.conferences-computer.science/sbmf/2023/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2023-08-11",
   "paper_deadline_announced": "2023-07-28",
   "paper_extended_days": 14,
   "notification": "2023-09-15",
   "timezone": "AoE",
   "event_start": "2023-12-04",
   "event_end": "2023-12-08",
   "city": "Manaus, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -3.119,
   "lon": -60.0217,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 16,
   "accepted": 9,
   "acceptance_rate": 56.2,
   "format": "15 pages + references (regular) / 8 pages + references (short)",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2024",
   "edition": 27,
   "title": "27th Brazilian Symposium on Formal Methods",
   "url": "http://sbmf24.ifes.edu.br/",
   "page": "https://www.conferences-computer.science/sbmf/2024/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2024-08-18",
   "paper_deadline_announced": "2024-07-05",
   "paper_extended_days": 44,
   "notification": "2024-09-23",
   "timezone": "AoE",
   "event_start": "2024-12-04",
   "event_end": "2024-12-06",
   "city": "Vitória - Espírito Santo, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -20.3155,
   "lon": -40.3128,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages + references (regular) / 8 pages + references (short)",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2025",
   "edition": 28,
   "title": "28th Brazilian Symposium on Formal Methods",
   "url": "http://sbmf2025.ufrpe.br/",
   "page": "https://www.conferences-computer.science/sbmf/2025/",
   "status": null,
   "abstract_deadline": "2025-08-15",
   "paper_deadline": "2025-08-15",
   "paper_deadline_announced": "2025-08-08",
   "paper_extended_days": 7,
   "notification": "2025-09-26",
   "timezone": null,
   "event_start": "2025-12-03",
   "event_end": "2025-12-05",
   "city": "Recife - Pernambuco, Brazil",
   "country": "BR",
   "continent": "SA",
   "lat": -8.0476,
   "lon": -34.877,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": "10.1007/978-3-032-12086-1",
   "core_rank": "absent",
   "submitted": 25,
   "accepted": 13,
   "acceptance_rate": 52.0,
   "format": "15 pages + references (regular) / 8 pages + references (short)",
   "dblp": "sbmf"
  },
  {
   "slug": "sbmf",
   "acronym": "SBMF",
   "year": "2026",
   "edition": 29,
   "title": "29th Brazilian Symposium on Formal Methods",
   "url": "https://sbmf2026.github.io/",
   "page": "https://www.conferences-computer.science/sbmf/2026/",
   "status": null,
   "abstract_deadline": "2026-08-14",
   "paper_deadline": "2026-08-14",
   "paper_deadline_announced": "2026-08-06",
   "paper_extended_days": 8,
   "notification": "2026-09-25",
   "timezone": null,
   "event_start": "2026-12-01",
   "event_end": "2026-12-04",
   "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": "15 pages + references (regular) / 8 pages + references (short)",
   "dblp": "sbmf"
  }
 ]
}