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 announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.