SBMF

Brazilian Symposium on Formal Methods

Editions listed14 Covered2013–2026 Rank nowCORE absent ReachNational · en ProceedingsPaywalled

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2026	29	1–4 Dec 2026	Rio de Janeiro 🇧🇷	14 Aug +8 days	—	—
2025	28	3–5 Dec 2025	Recife - Pernambuco 🇧🇷	15 Aug +7 days	13 / 25	52%
2024	27	4–6 Dec 2024	Vitória - Espírito Santo 🇧🇷	18 Aug +44 days	—	—
2023	26	4–8 Dec 2023	Manaus 🇧🇷	11 Aug +14 days	9 / 16	56%
2022	—		—	—	8 / 14	57%
2021	24	6–10 Dec 2021	Online	6 Aug +7 days	—	—
2020	23	25–27 Nov 2020	Online	17 Jul	—	—
2019	22	26–28 Nov 2019	São Paulo 🇧🇷	2 Aug ext.	—	—
2018	21	26–30 Nov 2018	Salvador de Bahia 🇧🇷	20 Jul +7 days	—	—
2017	20	27 Nov – 1 Dec 2017	Recife 🇧🇷	2 Aug +12 days	—	—
2016	19	21–25 Nov 2016	Natal 🇧🇷	11 Aug +19 days	12 / 22	55%
2015	18	21–26 Sep 2015	Maceió 🇧🇷	10 Jul	11 / 25	44%
2014	17	29–30 Sep 2014	Maceió 🇧🇷	15 Jul	13 / 34	38%
2013	—		—	—	14 / 29	48%

A missing year does not mean the conference did not meet: coverage before 2013 has not been verified.

Acceptance rate over time

0%30%60%

2025 52% 13/25
2023 56% 9/16
2022 57% 8/14
2016 55% 12/22
2015 44% 11/25
2014 38% 13/34
2013 48% 14/29

Scale runs to 60%; the mid-line marks 30%. No figure published for 2017, 2018, 2019, 2020, 2021, 2024, 2026.

Submissions

2025 25
2023 16
2022 14
2016 22
2015 25
2014 34
2013 29

Scaled to this conference's own busiest year (34), so the shape is comparable across its editions but not between conferences.

How it has reviewed and published

Practice	14	15	16	17	18	19	20	21	23	24	25	26
Proceedings	•	•	•	•	•	•	•	•	•	•	•	•

Practice

Proceedings

•

A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.

Where it has met

Loads tiles from OpenStreetMap, which will see your IP address.

9 cities. 20152026

9 cities, 1 country, 1 continent. Met online 2 times.

CORE rank over time

absent 2013–

Only the current rank is recorded; earlier rounds have not been checked.

Timing

Closes: between 18 Jul and 19 Aug, over the last 6 editions.
Decision: 38 days after the deadline (31–62 over 12 editions)
Then: 70 days to the conference (34–90)

No call is open. If it runs again and keeps to its habits, expect the next one to close in the same window — but that is this page reading a pattern, not an announcement.

Deadline habits

Extended: 9 of 9 editions
Typical: 7–44 days
Longest: 44 days
Not known: 3 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: sbmf ↗
Calendar: Subscribe to SBMF
Data: All editions as JSON

Notes carried over

Acceptance: 48% (14/29) in 2013; 38% (13/34) in 2014; 44% (11/25) in 2015; 55% (12/22) in 2016, 57% (8/14) in 2022, 56% (7+2 / 12+4) in 2023

Extensions: 15+1 days (2016), 12 days (2017), 7 days (2018), ??? (2019), 14 days (2023), 44 days (2024), 7 days (2025)

Kept verbatim from the old site while it is being turned into structured data.

Spotted something wrong on this page? Tell us, with a source if you have one ↗

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 🤓