Other resources

Of particular relevance to antipodeans interested in formal approaches to program development is the Formal Software Development Mailing List, run by Colin Fidge at the Software Verification Research Centre, University of Queensland. Additions, deletions and administrative requests may be made to fsdm-requests@cs.uq.edu.au, and submissions may be posted to fsdm@cs.uq.edu.au.

Many other electronic resources on the subject are accessible through Jonathan Bowen's Formal Methods archive.

The Centre for Applicable Software Theory (Cast) is based at the University of Canterbury.

Victoria University of Wellington has an Inter-faculty Logic Group.

Waikato University has a Formal Methods Laboratory.