conferences.computer.science

All conferences / SBMF / 2019

SBMF 2019

22nd Brazilian Symposium on Formal Methods

Held26–28 Nov 2019 WhereSão Paulo 🇧🇷 RankCORE absent Website www.sbmf2018.ufba.br/ ↗
Closed

Submission closed on 2 Aug 2019.

Submission timeline

  • 2 Aug 2019 Full paper AoE
  • 3 Oct 2019 Notification
  • 26 Nov 2019 Conference opens

A deadline was extended this year, but the date it moved from was never recorded.

What to submit

Format
No page limit (30 pages is sufficient)
Proceedings
Science of Computer Programming, Elsevier — Paywalled, for-profit

A special issue of Science of Computer Programming (Elsevier) will publish the best papers.

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 🤓