The New Zealand Formal Program Development Colloquium was established to encourage and promote work in New Zealand in the areas of "formal methods", "programming foundations" and "formal software engineering". The first two meetings, at the University of Waikato and at Massey's Palmerston North campus, were both informal workshops. The third and fourth meetings, at Victoria University of Wellington and at the Australian National University, were combined with meetings of the Australasian Refinement Workshop, under the umbrella title of Formal Methods Pacific. The Formal Methods Pacific meetings were more formal, and we felt that it was once again time to hold an informal workshop.
A summary version of the proceedings is available in .pdf format.
The full version of the proceedings can be obtained from the Institute of Information and Mathematical Sciences.