| FMOz -- FMOz announcements list | |
|
|
|
| About FMOz | |
|
FMOz (Formal Methods Australia) is a friendly informal workshop, running (almost) annually since 2016, at the University of Queensland in sunny Brisbane. It is typically organised to run in June/July to coincide with the Semester 1 study break.
To see the collection of prior postings to the list, visit the FMOz Archives. (The current archive is only available to the list members.) |
|
| Using FMOz | |
|
You can subscribe to the list, or change your existing subscription, in the sections below. |
|
| Subscribing to FMOz | |
|
Subscribe to FMOz by filling out the following form. This is a closed list, which means your subscription will be held for approval. You will be notified of the list moderator's decision by email. This is also a hidden list, which means that the list of members is available only to the list administrator. | |
| FMOz Subscribers | |
|
|
|
version 2.1.20 |