From: bowen@comlab.ox.ac.uk (Jonathan Bowen)
Newsgroups: comp.software-eng,comp.specification,comp.specification.z
Subject: CFP: FME'93 Symposium - Industrial-Strength Formal Methods
Date: 29 Jul 92 15:15:06 GMT
Expires: 1 Oct 92 23:59:59 GMT
Reply-To: Jim.Woodcock@comlab.ox.ac.uk (Jim Woodcock)
Organization: Programming Research Group, Oxford University, UK

Dear Colleague,

I would be grateful if you would be kind enough to display the attached call
for papers on your departmental noticeboard.  The event is the Formal Methods
Europe Symposium, FME'93, and the deadline for submissions is 1 October 1992.
Thank you for your help.

Jim Woodcock <Jim.Woodcock@comlab.ox.ac.uk>

------------------------ LaTeX source ------------------------

\documentstyle[11pt]{article}
\renewcommand{\thepage}{}
\setlength{\parindent}{0in}
\setlength{\parskip}{0.5ex}
% \advance\hoffset by -3mm  % A4 is narrower.
% \advance\voffset by  8mm  % A4 is taller.
\oddsidemargin -0.4mm \evensidemargin -0.4mm
\topmargin -22.9mm \headheight 5mm \headsep 8mm
\footheight 2.4mm \footskip 2.5mm
\textheight 258.5mm \textwidth 165mm

\begin{document}

% \title{FME'93 Symposium \\ {\large Industrial-Strength Formal Methods \\
%        Odense, Denmark}}
% \author{Call for Papers}
% \date{27 March 1992}
% \maketitle
\begin{center}
{\huge Call for Papers FME'93 Symposium \\}
{\Large Industrial-Strength Formal Methods\\}
\end{center}

\begin{center} 
	Sponsored by the Commission of the European Communities (CEC)	\\
	Organised by Formal Methods Europe
\end{center}

The first FME Symposium will be held at Odense Technical College in
Denmark, during the week of 19.\ to 23.\ April, 1993.
It is being organised by Formal Methods Europe, as the successor to the
last four VDM symposia, to promote the interests of users, researchers
and developers of precise mathematical methods in program development.

The last few years have borne witness to the remarkable diversity of
formal methods, with applications to sequential and concurrent software, 
to real-time and reactive systems, and to hardware design.
In that time, many theoretical problems have been tackled and solved,
and many continue to be worked upon.
Yet it is by the suitability of their industrial application and the
extent of their usage that formal methods will ultimately be judged.
This symposium will focus on {\em The Application of Industrial-Strength
Formal Methods.\/}
We encourage all papers to address the difficulties of scaling their
techniques up to industrial-sized problems, and of their suitability in 
the work-place.
Papers should discuss techniques that are formal (that is, they have a
mathematical basis), and that are industrially applicable.
Papers tackling theoretical issues are much encouraged, providing that
they contain a justification of the practical advantages that follow.

Full-length research papers, industrial reports, proposals for tutorials
and tool demonstrations are solicited, particularly in the following 
areas:\vspace*{-1mm}
\begin{center}
	\begin{tabular}{@{$\bullet~$}l@{$~\bullet~$}l}
			Practical use
		&	Case studies
		\\	Tools
		&	Linking formal and informal methods 
		\\	Comparisons of formal methods \hskip8mm\mbox{}
		&	Proof 
		\\	Concurrency
		&	Real-time and reactive systems 
		\\	Refinement techniques 
                &       Object orientation 
		\\	Secure systems 
		&	Safety-critical systems 
		\\	The development process 
		&	Education and technology transfer 
	\end{tabular}
\end{center}
\vspace*{-1mm}

\begin{description}
\item[1 October 1992 {\em Submissions}:]\mbox{}\\

\vspace*{-7mm}
%	\begin{flushleft}
\begin{itemize}
\item	Full, original research papers (6 copies, 12pt, single spaced, maximum 20pp).	
\item	Industrial usage reports (6 copies, 12pt, single spaced, maximum 10pp).		
\item	Proposals for tutorials ($\frac{1}{2}$ day, maximum 50pp of notes for participants).
\item  	Proposals for tool demonstrations (with hardware and software requirements).
\end{itemize}
\vspace*{-1mm}
%	\end{flushleft}

 	Proposals for tools demonstrations should be send to the
 	organising chairman, while all other proposals should be send
 	to the programme chairman. Industrial usage reports do not
	need to conform to usual standards for academic papers.
	\vspace*{-1mm}
\item[1 December 1992 {\em Notification of acceptance}]\vspace*{-1mm}
\item[1 February 1993 {\em Camera-ready copy due for publishers}]
\end{description}

\parbox{7cm}%
{% \begin{center}
  {\bf Programme Chairman}\\
 % \end{center}
 Jim C.P.\ Woodcock\\
 Oxford University\\
%Computing Laboratory \\
 Programming Research Group	\\	
 11 Keble Road,	Oxford  OX1 3QD, UK	\\
 tel: +44 865 272576	\\
 fax: +44 865 273839	\\
 email: jimw@prg.ox.ac.uk
}
\hfill
\parbox{8.6cm}%
{% \begin{center}
  {\bf Organising Chairman}\\
 % \end{center}
 Peter Gorm Larsen\\
 The Institute of Applied Computer Science (IFAD)\\
 Forskerparken 10, DK-5230 Odense M\\
 Denmark\\
 tel: +45 65 93 23 00\\
 fax: +45 65 93 29 99\\
 email: peter@ifad.dk
 }
 
\begin{center}
{\bf Executive Programme Committee}        
\end{center}
\vspace*{-3mm}
J.-R. Abrial ({\sc f}),
	Tim Denvir ({\sc gb}),
	Eugene D\"{u}rr ({\sc nl}),
	Ian Hayes ({\sc aus}),
	Steve King ({\sc gb}),
	Hans Langmaack ({\sc d}),
	M\'{\i}che\'{a}l Mac an Airchinnigh ({\sc irl}),
	Kees Middelburg ({\sc nl}),
	S{\o}ren Prehn ({\sc dk}),
	Hans Toetenel ({\sc nl})

%         \begin{tabular}{lll}
% 			J.-R. Abrial ({\sc f})
% 		&	Tim Denvir ({\sc gb})
% 		&	Eugene D\"{u}rr ({\sc nl})
% 		\\	Ian Hayes ({\sc aus})
% 		&	Steve King ({\sc gb})
% 		&	Hans Langmaack ({\sc d})
% 		\\	M\'{\i}che\'{a}l Mac an Airchinnigh ({\sc irl})
% 		&	Kees Middelburg ({\sc nl})
% 		&	S{\o}ren Prehn ({\sc dk})
% 		\\	Hans Toetenel ({\sc nl})
% 	\end{tabular}
% 	{\bf Organising Committee}	\\
% 	\ldots				\\
% \begin{center}
% 	{\bf Conference Location}	
% \end{center}
%         The conference will be held at Odense Technical College in
%         Denmark. Buses to/from hotels will be provided. 

\end{document}


--
Jonathan Bowen, <Jonathan.Bowen@comlab.ox.ac.uk>
Oxford University Computing Laboratory.