\documentstyle{article}

\pagestyle{empty}
\nofiles

% Maximize page usage
\oddsidemargin 1pt
\evensidemargin 1pt
\marginparwidth 30pt
\topmargin 1pt
\headheight 1pt
\headsep 1pt
\footskip 24pt
\textheight 660pt
\textwidth 460pt
% End of page layout changes

% Paragraph formatting
\parskip=.5ex
\parindent=0pt

% Macros
\def\hindent{\hspace*{1em}}
\def\Space{\mbox{~}}
\def\Rule{\Space\hrulefill\Space\Skipfill}
\def\MidRule{\Space\hrulefill\Space\Space}
\def\BOX{\null\dotfill{\huge$\Box$}\Space}
\def\Item{\vspace{-1ex}\item}
\def\Skipfill{\smallskip\vfill}
\def\Skip{\smallskip}


\begin{document}

\begin{center} \LARGE
	    Notice of Meeting and First Call for Papers \\
\Skip
\Huge\bf    ZUM'97 \\
\LARGE 10th International Conference of Z Users \\ 
\Skip
\Large
     Organized by the Z User Group in association with BCS FACS \\
		       3--4th April 1997 \\
		  University of  Reading, England \\

\Skip

\end{center}

\normalsize

The 10th International Conference of Z Users (ZUM'97) will be held at
University of Reading, England, in April 1997.

Z is a formal notation (formal method) widely used in both 
academia and industry, for the specification and verification of both
hardware and software systems.
 
The programme committee invites authors to submit papers on or related
to the formal specification notation Z, in particular, and formal
methods in general, for presentation and inclusion in the published
Proceedings to be distributed at the conference.

The conference will also include tool demonstrations and displays by
publishers.

An educational issues session is planned to follow the conference, and
tutorials may be possible on the days directly preceding and following
the main sessions. 
% 
% \begin{center}
% \bf NOTE: THE SUBMISSION DEADLINE IS 16 AUGUST 1996 \\
% \end{center}
% 
The schedule for submissions is as follows:

\begin{center}
\begin{tabular}{@{}l@{\qquad}l@{}}
  Submission of draft paper:     &            16th August 1996 \\
  Notification of acceptance:    &            15th November 1996 \\
  Final copy for Proceedings:    &            10th January 1997 \\
  Z User Meeting in Reading:     &            3--4th April 1997  
\end{tabular}
\end{center}

\medskip

\noindent {\bf Further Information}

General enquiries about the meeting and the Z User Group may be
directed to:

\smallskip

\hindent
\begin{tabular}{l}
  Jonathan Bowen (Conference Chair) \\
  University of Reading, Department of Computer Science \\
  Whiteknights, BO Box 225, Reading RG6 6AY, UK. \\
  Email: {\tt J.P.Bowen@reading.ac.uk} \\
  Tel: +44-1734-316544 ~ Fax: +44-1734-751994 \\
  URL: {\tt http://www.cs.reading.ac.uk/people/jpb/}
\end{tabular}

On-line and up-to-date conference information may be found under
the following World Wide Web URL:
\begin{center}
{\tt http://www.cs.reading.ac.uk/archive/z/zum97/}
\end{center}

\Skip

\noindent {\bf Submissions}

Electronic submissions are encouraged.  Send your submission as a {\bf
compressed PostScript} file to {\tt zum97-papers@soi.city.ac.uk}, as
well as a separate (plain ASCII) message containing the title of the
paper, list of authors, and contact information for the corresponding
author.  Alternatively, four copies of submitted papers of not more
than 20 pages in length (minimum 11pt, single-line spacing) should be
sent to:

\smallskip

\hindent
\begin{tabular}{l}
  David Till / Mike Hinchey (Programme Co-Chairs), 
  Department of Computer Science, City University  \\
  London EC1V 0HB UK \\
  Email: {\tt till@soi.city.ac.uk} or {\tt hinchey@cis.njit.edu},
  Tel: +44-171-477-8552 
\end{tabular}

\smallskip
Additional Topics: {\bf Educational Issues}, {\bf Tutorials},
{\bf Tool Demonstrations, etc.}
Contact the program chair or the WWW page for details.
\end{document}




