conferences.computer.science

All conferences / Cities / Brazil / Rio de Janeiro

Rio de Janeiro 🇧🇷

CountryBrazil Editions7 Series6 Covered2015–2026

Editions held here

YearConferenceHeldPaper 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

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 🤓