NZFPDC Meetings

Caveat 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 Colloquium 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 Refinement Workshop and also with the BCS Refinement Workshop under the super-umbrella name International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98). 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 Web page for details.


The Second NZFPDC took place at Massey University on 14th and 15th February 1996, in conjunction with the 1996 Massey Functional Programming Workshop. Click here for the list of papers presented. For further information, see the call for papers for MFPW and NZFPDC (assuming it is still around), or send email 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 of Waikato. Click here for the list of papers presented.

School of Engineering and Computer Science
School of Mathematics, Statistics and Operations Research
DisclaimerBack to top ^

Page Updated: 04 Sep 2000. © Victoria University of Wellington, New Zealand, unless otherwise stated