From VAXA.ANGLIA-POLYTECHNIC.AC.UK Wed Jul 28 13:25:01 BST 1993
Article: 986 of comp.specification.z
Newsgroups: comp.specification.z
Path: comlab.ox.ac.uk!VAXA.ANGLIA-POLYTECHNIC.AC.UK
From: "CDEAN"@VAXA.ANGLIA-POLYTECHNIC.AC.UK (NEVILLE DEAN)
Subject: ZUM94 Education Half-Day
Message-ID: <22566.9307281054@prg.oxford.ac.uk>
Date: Wed, 28 Jul 93  11:54 BST
X-Mailer: mail-news 2.0.3



                    CALL FOR PAPERS
                    ***************

        Z USER MEETING 1994 - EDUCATION HALF-DAY
        ========================================

A special session on Educational Issues relating to Formal
Methods (Z in particular) is being organised for the Friday
morning (1 July 1994) after the main Z User Meeting 1994 to
be held in Cambridge (29 and 30 June 1994).

Submissions are now invited for papers and posters to be
presented at the Education Half-Day; they should cover topics
in teaching, learning and understanding formal methods (not
specifically Z) both in academia and in industry.

Papers *may* be published in the Proceedings of the Z User
Meeting, provided they are of sufficiently high standard and
conform to the guidelines for papers to be presented at the
main session. In particular they should be submitted to the
main organising committee for the Z User Meeting by 1
October 1993 (as previously announced); please mark that the
paper is to be considered for the Education Session.

Alternatively, papers (or extended abstracts of no more than
four pages) should be submitted to me directly by 31
December 1993. Authors will be notified by 28 February 1994
if their paper has been accepted. Final versions of accepted
papers will need to be received by 31 March 1994. NOTE THAT
PAPERS SO SUBMITTED WILL NOT BE INCLUDED IN THE PUBLISHED
PROCEEDINGS.

Proposals for posters should take the form of an abstract
(no more than 500 words) and be sent to me by 28 February
1994. Successful authors will be notified by 31 March 1994.

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Neville Dean
Applied Sciences
Anglia Polytechnic University
Cambridge
CB1 1PT

Voice +44 223 352992 ext 2329
Fax   +44 223 352979