Massey Uni Logo

New Zealand Formal Program Development Colloquium 1999

Institute of Information and Mathematical Sciences

 Massey University Te Kunenga Ki Purehuroa

Albany Campus

 January 22 1999

The fifth New Zealand Formal Program Development Colloquium  was held at Massey University's Albany Campus in Auckland on January 22 1999. NZFPDC99 followed Australasian Computer Science Week, which was hosted at another University in Auckland.

 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.

NZFPDC 99 Participants