FMOz (Formal Methods Australia) is a friendly informal workshop, running (almost) anually since 2016, at the University of Queensland in sunny Brisbane.
FMOz is an opportunity to meet with researchers, practioners and industry working on and with Formal Methods and Formal Verification, to share ideas and form collaborations.
FMOz is typically organised in June/July to coincide with the Semester 1 study break. If you want to recieve the announcement each year, please subscribe to the mailing list, and forward it to colleagues who may be interested.
FMOz 2026 will be held on the 4th-5th of June, 2026. If you are interested in attending or presenting, please see the call for presentations.
FMOz is organised by Dr Kirsten Winter, Assoc. Prof. Graeme Smith.
This website is maintained by Alicia, errata can be directed here or to the mailing list.