Many of the links on this page are prime candidates
for becoming stale. Some of them may no longer link to anywhere useful.
The Sixth New Zealand
Formal Program Development Colloquium
was held at the University
of Canterbury on the 28th and 29th of August 2000.
The Fifth New Zealand Formal Program Development
was held at Massey University's Albany Campus in Auckland
on 22 January 1999, following the Australasian
Computer Science Week
, which was hosted at Auckland University.
In 1998, NZFPDC again amalgamated with the Australasian
and also with the BCS
Refinement Workshop under the super-umbrella name International Refinement
Workshop and Formal Methods Pacific 1998
Click here for the cfp
The Third NZFPDC was held at Victoria University of Wellington on 9-11,
1997, and was run in conjunction with the 6th Australasian Refinement Workshop,
under the umbrella name Formal Methods Pacific '97
. See the FMP'97
The Second NZFPDC took place at Massey University on 14th and 15th February
1996, in conjunction with the 1996 Massey Functional Programming Workshop.
for the list of papers presented. For further information, see
for MFPW and NZFPDC (assuming it is still around), or send
to the organizers.
The inaugural NZFPDC, held at the University of Waikato in November/December
1994, was "the first in what is planned to be a series of annual meetings
to bring together people in New Zealand who have an interest in the use
of formal ideas to enhance program development". The proceedings have been
published as Working Paper 94/18, Dept of Computer Science, University
the list of papers presented.