2nd CFP: MFPW'96/NZFPDC'96

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
2nd Call for Papers and Participation
Third Massey Functional Programming Workshop (MFPW '96)
Second New Zealand Formal Program Development Colloquium (NZFPDC '96)

Massey University, New Zealand
12-15 February 1996

The Third Massey Functional Programming Workshop and the Second New Zealand
Formal Program Development Colloquium will be held 12-13 and 14-15 February
1996 respectively. They will both be hosted at Massey University in
Palmerston North, New Zealand.

Although the two meetings will be held consecutively and the proceedings
will be published separately, it is hoped that many of the participants
will attend both. Research students are particularly encouraged to attend.


The Massey Functional Programming Workshop seeks to provide an informal
setting where participants can discuss work-in-progress as well as
presenting completed research. The previous Massey Functional Programming
Workshops had participants from NZ, all the Australian states, from the USA
and from Europe. Papers are solicited on all aspects of functional
programming. Topics include, but need not be restricted to:

industrial use;
run-time support;
distributed and concurrent functional programming;
foundations of functional programming;
functional programming in education.


The New Zealand Formal Program Development Colloquium was established to
provide a forum for the growing formal software development community in
New Zealand to meet and exchange ideas. Papers are solicited in all areas
of formal program development. Topics include, but need not be restricted

specification techniques and tools;
practical applications of formal methods;
logics for program development;
program refinement.

Submission Details:

Participants may submit papers or abstracts of papers by 1st Dec 95. Notice
of acceptance will be given by the 18th Dec 95. Deadline for final versions
for proceedings 20th Jan 96.

Final submissions for both conferences should not be more than 10 pages long.

We are able to deal with most popular Macintosh and PC word-processor
formats; postscript, TeX and dvi files can also be accepted.

Papers can be submitted to: mfpw96@massey.ac.nz or nzfpdc96@massey.ac.nz,
or by paper mail to: MFPW'96/NZFPDC'96, Department of Computer Science,
Massey University, Palmerston North, New Zealand.

Local Arrangements:

The Department of Computer Science at Massey will be sponsoring both events
and attendance costs, if any, will be kept to a minimum to enable the
widest possible participation. Some accommodation will be made available
free of charge.


Massey University is situated on the outskirts of Palmerston North near the
foothills of the Tararua Range in the North Island of New Zealand. The
campus is an arboretum, and is particularly attractive. Should Ruapehu
still be displaying its might, great (and safe) views are available from
the Faculty building in clear weather. Palmerston North is 160 km North of
Wellington. Palmerston North has a domestic airport and is served by air,
rail and coach links to Wellington, Auckland and other New Zealand cities.
Both workshops will provide "free" time so that participants may discuss
work and/or relax in the surroundings. A "tramp" will be organised for the
more energetic participants.

Organising Committee:

Peter Burgess
Nigel Perry
Neil Leslie
Doug Goldson

Further information about the workshops is available via the WWW:

General enquires can be addressed to either:
mfpw96@massey.ac.nz or nzfpdc96@massey.ac.nz

Massey Functional Programming Workshop'96                <mfpw96@massey.ac.nz>
New Zealand Formal Program Development Colloquium'96   <nzfpdc96@massey.ac.nz>

Computer Science Department
Massey University
Palmerston North                                          tel (+64) 6 350 4176
New Zealand                                               fax (+64) 6 350 5611