[Prev][Next][Index]

FWD: CFP Mathematics of Program Construction




------- Forwarded Message

From: ianh@cs.uq.oz.au (Ian Hayes)
Date: 2 Aug 1994 01:41:56 GMT
Subject: CFP Mathematics of Program Construction
Newsgroups: comp.software-eng,comp.specification,comp.specification.z
Reply-To: ianh@cs.uq.oz.au


                            MPC '95

              Third International Conference on the

               MATHEMATICS OF PROGRAM CONSTRUCTION
               -----------------------------------

                     17th--21st July, 1995

                     Kloster Irsee, Germany


                        CALL FOR PAPERS


The general theme of this series of conferences is the use of crisp,
clear mathematics in the discovery and design of algorithms and in
the development of corresponding software or hardware. The previous 
two conferences were held in 1989 at Twente, Netherlands, organised
by the Rijksuniversiteit Groningen, and in 1992 at Oxford, United 
Kingdom. The conference theme reflects the growing interest in formal, 
mathematically based methods for the construction of software and 
hardware. The goal of the MPC conferences is to report on and 
significantly advance the state of the art in this area.



                            TOPICS

The emphasis is on the combination of  c o n c i s e n e s s  and 
p r e c i s i o n  in  c a l c u l a t i o n a l  t e c h n i q u e s 
for program construction. Typical areas are:

- formal specification of sequential and concurrent programs;

- constructing implementations to meet specifications;

in particular,

- program transformation;

- program analysis;

- program verification;

- convincing case studies.

While this list is not exclusive it is intended to show the focus of the
conference.


The proceedings will be published as Springer LNCS, ready at
the conference.


                        VENUE

Kloster Irsee is a former Baroque monastery located in the Southwest
of Bavaria, Germany, close to the Alps. It can be reached by train 
from the airports Munich and Stuttgart.



                 PROGRAMME COMMITTEE

   Ralph-Johan  Back               Finland      
        Roland  Backhouse          Netherlands  
         Geoff  Dromey             Australia    
         David  Gries              USA          
           Ian  Hayes              Australia    
          Rick  Hehner             Canada       
           Wim  Hesselink          Netherlands  
        Gerard  Huet               France       
         Cliff  Jones              UK           
          Anne  Kaldewaij          Netherlands  
       Lambert  Meertens           Netherlands  
      Bernhard  M\"oller           Germany (Chair)
       Oege de  Moor               UK           
       Carroll  Morgan             UK           
        Helmut  Partsch            Germany      
          Ross  Paterson           UK           
     Christine  Paulin-Mohring     France       
         Peter  Pepper             Germany      
      Wolfgang  Reif               Germany      
       Beverly  Sanders            Switzerland  
          Fred  Schneider          USA          
          Mary  Sheeran            Sweden       
          Doug  Smith              USA          
          Wlad  Turski             Poland


                     SCHEDULE

         Submission         Dec.  1, 1994
         Notification       March 1, 1995
         Final version due  May   1, 1995



                   CORRESPONDENCE

          Prof. Dr. B. M\"oller (MPC '95)
          Institut f\"ur Mathematik
          Universit\"at Augsburg
          D-86135 Augsburg
          Germany
          E-mail: moeller@uni-augsburg.de
          Fax: +49 821 598 2274








-----------LaTeX

% The following announcement is formatted in Latex
%
%
\documentstyle{article}
\pagestyle{empty}
\oddsidemargin -10truemm
\topmargin -7truemm
\textwidth 190truemm
\textheight 270truemm

\thispagestyle{empty}

\begin{document}
\centerline{\Huge \bf MPC '95}
\vskip 0.1in
\centerline{\Large \bf Third International Conference on the}
\vskip 0.1in
\centerline{ \LARGE \bf MATHEMATICS OF PROGRAM CONSTRUCTION}
\vskip 0.2in
\centerline{ \Large \bf 17th--21st July, 1995}
\centerline{ \Large \bf Kloster Irsee, Germany}
\vspace{1cm}
\centerline{ \Large Call For Papers}

\vspace{9mm}

\begin{center}
\begin{minipage}{7cm}
\framebox[6.5cm]{
\begin{tabular}{ll}
\multicolumn{2}{l}{\bf PROGRAMME COMMITTEE}   \\
   Ralph-Johan  Back           & Finland      \\   
        Roland  Backhouse      & Netherlands  \\
         Geoff  Dromey         & Australia    \\
         David  Gries          & USA          \\
           Ian  Hayes          & Australia    \\
          Rick  Hehner         & Canada       \\
           Wim  Hesselink      & Netherlands  \\
        Gerard  Huet           & France       \\
         Cliff  Jones          & UK           \\
          Anne  Kaldewaij      & Netherlands  \\
       Lambert  Meertens       & Netherlands  \\
      Bernhard  M\"oller       & Germany (Chair) \\
       Oege de  Moor           & UK           \\
       Carroll  Morgan         & UK           \\
        Helmut  Partsch        & Germany      \\
          Ross  Paterson       & UK           \\
     Christine  Paulin-        &              \\
\multicolumn{1}{r}{Mohring}    & France       \\  
         Peter  Pepper         & Germany      \\
      Wolfgang  Reif           & Germany      \\
       Beverly  Sanders        & Switzerland  \\
          Fred  Schneider      & USA          \\
          Mary  Sheeran        & Sweden       \\
          Doug  Smith          & USA          \\
          Wlad  Turski         & Poland
\end{tabular}
}

\vspace{5mm}

\framebox[6.5cm]{
\begin{tabular}{lr@{\ }l}
{\small \bf SCHEDULE} & \\
Submission     & Dec. & 1, 1994\\
Notification   & March & 1, 1995\\
Final version due & May & 1, 1995
\end{tabular}
}

\vspace{5mm}

\framebox[6.5cm]{
\begin{tabular}{l}
{\small \bf CORRESPONDENCE} \\
Prof. Dr. B. M\"oller (MPC '95)\\
Institut f\"ur Mathematik\\
Universit\"at Augsburg\\
D-86135 Augsburg\\
Germany\\
E-mail: moeller@uni-augsburg.de\\
Fax: +49 821 598 2274\\
\end{tabular}
}
\end{minipage}
\hspace{3mm}
%&
%
\begin{minipage}{9cm}

The general theme of this series of conferences is the use of crisp,
clear mathematics in the discovery and design of algorithms and in
the development of corresponding software or hardware. The previous 
two conferences were held in 1989 at Twente, Netherlands, organised
by the Rijksuniversiteit Groningen, and in 1992 at Oxford, United 
Kingdom. The conference theme reflects the growing interest in formal, 
mathematically based methods for the construction of software and 
hardware. The goal of the MPC conferences is to report on and 
significantly advance the state of the art in this area.

\vspace{3mm}

\centerline{\bf TOPICS}

The emphasis is on the combination of {\em conciseness} and {\em precision}
in {\em calculational techniques} for program construction. Typical
areas are:
\begin{itemize}
\item
formal specification of sequential and concurrent programs;
\item
constructing implementations to meet specifications;
\end{itemize}
in particular,
\begin{itemize}
\item
program transformation;
\item
program analysis;
\item
program verification;
\item
convincing case studies.
\end{itemize}
While this list is not exclusive it is intended to show the focus of the
conference.

\vspace{4mm}

The proceedings will be published as Springer LNCS, ready at
the conference.

\vspace{3mm}

\centerline{\bf VENUE}

Kloster Irsee is a former Baroque monastery located in the Southwest
of Bavaria, Germany, close to the Alps. It can be reached by train 
from the airports Munich and Stuttgart.
\end{minipage}
\end{center}


\end{document}

--
Dr Ian Hayes			ACSNet: Ian.Hayes@cs.uq.oz.au
Mail: Department of Computer Science, University of Queensland,
      Brisbane, Queensland  4072, Australia.
Work: +61 (7) 365 2386.	FAX:  +61 (7) 365 1999.	Timezone: GMT+10 hours.

------- End of Forwarded Message