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.
NZFPDC 00
The
Sixth New Zealand
Formal Program Development Colloquium was held at the University
of Canterbury on the 28th and 29th of August 2000.
NZFPDC 99
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.
NZFPDC 98
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.
NZFPDC 97
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.
NZFPDC 96
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.
NZFPDC 94
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.