All conferences / Cities / Brazil / Rio de Janeiro
Rio de Janeiro 🇧🇷
Editions held here
| Year | Conference | Held | Paper deadline |
|---|---|---|---|
| 2026 | FormaliSE International Conference on Formal Methods in Software Engineering | 12–13 Apr 2026 | 6 Nov 2025 |
| 2026 | ICSE International Conference on Software Engineering | 12–18 Apr 2026 | 18 Jul 2025 |
| 2026 | SBMF Brazilian Symposium on Formal Methods | 1–4 Dec 2026 | 14 Aug 2026 |
| 2025 | CDC IEEE Conference on Decision and Control | 9–12 Dec 2025 | 31 Mar 2025 |
| 2024 | WODES IFAC Workshop on Discrete Event Systems | 29 Apr – 1 May 2024 | 7 Jan 2024 |
| 2020 | WODES IFAC Workshop on Discrete Event Systems | 13–15 May 2020 | 5 Jan 2020 |
| 2015 | FACS International Conference Formal Aspects of Component Software | 14–16 Oct 2015 | 12 Jul 2015 |