This page is a collecting point for information on formal approaches to program development in New Zealand. All these names are meant to suggest the use of soundly-based, broadly mathematical ideas for improving the current methods used to develop software. There is no reason why New Zealand should not be engaged in this sort of research, and this meeting will give some idea of the sorts of areas which people are working on in the expectation that other people will be encouraged to start work or continue current work in this area. We also want the fact that this work is going on to be made known to the New Zealand computer science community at large. These pages are kindly hosted by the School of Mathematical and Computing Sciences at Victoria University of Wellington.
Standard disclaimer applies.