(latex) ARTS'99 Preliminary Call for Papers

• Subject: (latex) ARTS'99 Preliminary Call for Papers
• From: Joost-Pieter Katoen <katoen@immd7.informatik.uni-erlangen.de>
• Date: Wed, 29 Apr 1998 14:10:21 +0200
• Apparently-To: amast@cs.utwente.nl

\documentstyle{article}
\topmargin -1.5 cm
\oddsidemargin 0cm
\evensidemargin 0cm
\textwidth 16cm
\textheight 24.5cm
\parindent 0.5cm

%\font\skriptuni=skriptuni
%\font\fmilogofont=fmilogo15 
%\font\unilogofont=unilogo20

\input{epsf}
\pagestyle{empty}
\begin{document}

\newcommand\tl{{\tt\char '176}}         % A tilde character in \tt font
\thispagestyle{empty}

\begin{center}
\epsfxsize=4cm
\epsfysize=4cm

%\parbox[t]{1.5cm}{
% \mbox{} \\  \mbox{} \\
%  \hspace*{-4mm}{\epsfxsize=4cm
%		\epsfysize=4cm
%		\epsfbox{/home/fm/tacas97/logos/ctit1.ps}}
%}
\
\parbox[t]{14cm}{
  \begin{center}
    {\Large\bf Preliminary Call for Papers -- ARTS'99}\\
    \vspace{6mm}
    {\large 5th Int.\ {\bf A}MAST Workshop on 
        {\bf R}eal-{\bf T}ime and Probabilistic {\bf S}ystems} \\
    ~\\                  
    {\em May 26 -- 28, 1999, Bamberg, Germany} 
    \\[2mm]
   {\small\tt URL http://www7.informatik.uni-erlangen.de/}$\tl\!${\tt arts99/}
  \end{center}
} 
%\
%\parbox[t]{1.5cm}{
% \mbox{} \\  \mbox{} \\
%  \hspace*{-2cm}{\epsfxsize=4cm
%	\epsfbox{schloss.ps}}
%  }
\end{center}

~\\[-3mm]

\noindent
\begin{minipage}[t]{8cm}
\vspace{0mm}
\fbox{
\begin{tabular}[t]{lr}
\\
{\small\bf Steering Committee} \\[1mm]
\footnotesize Manfred Broy (D)   \\
% broy@informatik.tu-muenchen.de
\footnotesize Edmund Clarke (USA)  \\
% Edmund.Clarke@cs.cmu.edu
\footnotesize Ulrich Herzog (D)   \\
% herzog@informatik.uni-erlangen.de
\footnotesize Zohar Manna (USA)   \\
% manna@cs.stanford.edu 
\footnotesize Maurice Nivat (F)    \\
% Maurice.Nivat@litp.liafa.jussieu.fr
 \footnotesize Amir Pnueli (ISR)   \\
% amir@wisdom.weizmann.ac.il
\footnotesize Teodor Rus (Chair, USA)   \\
% rus@cs.uiowa.edu
\\
{\small\bf Programme Committee} \\[1mm]
\footnotesize Rajeev Alur           (USA) \\
% alur@cis.upenn.edu
\footnotesize Jos Baeten            (NL) \\
% josb@win.tue.nl
\footnotesize Christel Baier        (D) \\
% baier@pi1.informatik.uni-mannheim.de
\footnotesize Miquel Bertran        (ES) \\
% miqbe@els.url.es
\footnotesize Antonio Cerone         (AUS)\\
% cerone@cis.unisa.edu.au
\footnotesize Rance Cleaveland      (USA) \\
% rance@csc.ncsu.edu 
% \footnotesize Aurel Cornell         (USA) \\
% aurel@cs.byu.edu
\footnotesize Jim Davies           (UK) \\
% Jim.Davies@comlab.ox.ac.uk.
\footnotesize Colin Fidge           (AUS) \\
% cjf@it.uq.edu.au
\footnotesize David de Frutos       (ES)\\
% defrutos@eucmax.sim.ucm.es
\footnotesize Hubert Garavel        (F)\\
% Hubert.Garavel@inria.fr
\footnotesize Constance Heitmeyer   (USA) \\
% heitmeye@itd.nrl.navy.mil
\footnotesize Tom Henzinger         (USA)\\
% tah@eecs.berkeley.edu
\footnotesize Jane Hillston         (UK)\\
% jeh@dcs.ed.ac.uk
\footnotesize Joost-Pieter Katoen (Chair, D)\\
\footnotesize Rom Langerak          (NL)\\
% langerak@cs.utwente.nl
\footnotesize Kim G.\ Larsen         (DK)\\
% kgl@cs.auc.dk
\footnotesize Diego Latella         (I)\\
% d.latella@cnuce.cnr.it
\footnotesize Jonathan Ostroff      (CAN)\\
% jonathan@cs.yorku.ca
\footnotesize Steve Schneider       (UK)\\
% S.Schneider@dcs.rhbnc.ac.uk
\footnotesize Roberto Segala        (I)\\
% segala@cs.unibo.it
\footnotesize Walter Vogler         (D)\\
% Walter.Vogler@Informatik.Uni-Augsburg.DE
%\\
%
%{\small\bf Organisation Committee} \\
%\footnotesize Joost-Pieter Katoen \\
%\footnotesize Chris Moog \\ [3mm]
\end{tabular}
} \\[4ex]
{\bf Important Dates:} \\[1.5ex]
%
{\em Deadline for Submission} \\[1ex]
\phantom{brr} {\bf 30 October 1998} \\[1ex]
{\em Notification to Authors} \\[1ex]
\phantom{brr} {\bf 29 January 1999} \\[1ex]
{\em Final Version due} \\[1ex]
\phantom{brr} {\bf 26 February 1999}
\end{minipage}
%
\mbox{\hspace{-2cm}}
\begin{minipage}[t]{10cm}
\begin{center}
INVITED SPEAKERS \\[1mm]
Two speakers (to be filled in)
\end{center}

\noindent
The aim of the ARTS'99 workshop is to bring together researchers and
practitioners interested in the design of real-time and probabilistic
systems.
The topics of interest include the whole spectrum of development and 
application of specification, verification, analysis and construction 
of real-time and probabilistic systems.
In the spirit of the AMAST movement, the workshop is intended
to provide a forum for the presentation of approaches that are
based on a clear mathematical basis. 
Aspects of real-time and probabilistic systems for the workshop 
include (but are not limited to):\\[2mm]
%
\begin{tabular}{lp{90mm}}
$\diamond$ & Compositional construction and verification tech\-niques \\
$\diamond$ & Automatic and machine-supported verification \\
$\diamond$ & Case studies \\
$\diamond$ & Formal methods for performance analysis \\
$\diamond$ & Semantics \\
$\diamond$ & Algorithms and tools \\
$\diamond$ & Hybrid systems
\end{tabular} \\[2mm]
%
Previous editions of ARTS workshops have been organized by the
University of Iowa, USA (1993), University of Bordeaux, France
(1995), Brigham Young University, USA (1996), and the University
of the Balearic Islands, Spain (1997).
In 1999 the workshop takes place in Bamberg, a beautiful historic
city 25 miles north of Erlangen/N\"urnberg.

\vspace{5mm}

\centerline{\bf Submissions}
\vspace{3mm}
\noindent
Authors are invited to submit a paper not exceeding 6000 words (approx.\
15 pages) preferably by e-mail to {\tt arts99@informatik.uni-erlangen.de}.
Format: encapsulated Postscript that can be printed by any postscript device.
E-mail address and fax number of the contact author should be included.
Alternatively, submissions may be sent by ordinary mail (four copies
required) to Joost-Pieter Katoen (ARTS'99), Dept.\ of Computer Science/IMMD 7,     
University of Erlangen-N\"urnberg, Martenstrasse 3, D-91058 Erlangen, 
Germany.
%In either case, authors are requested to use latex (or tex)
%and the Springer-Verlag Lecture Notes format.
%The notification of acceptance will be per e-mail.

\vspace{5mm}

\centerline{\bf Proceedings}
\vspace{3mm}
\noindent
It is our intention to publish the proceedings in the series Lecture 
Notes in Computer Science (LNCS) -- Springer-Verlag, and to have it
available at the workshop.  Previous proceedings appeared as LNCS 
1231 or as volumes in the AMAST Series of Computing.  Based on the 
quality of the submissions, it will be considered to publish selected 
papers in a special issue of a journal.
\end{minipage}
\end{document}

\begin{center}
\begin{tabular}{ll}
  Joost-Pieter Katoen                 & \\
  Dept of Computer Science/IMMD 7     & tel: {\tt +49 (0)9131 85 7914} \\
  University of Erlangen-N\"urnberg   & fax: {\tt +49 (0)9131 85 7409} \\
  Martenstrasse 3                     & e-mail: {\tt arts99@informatik.uni-erlangen.de} \\
  91058 Erlangen, Germany \quad\quad 
\end{tabular}
\end{center}
\end{document}

• Prev: Prolamat 98: Call for participation and Program
• Next: Second Call for Papers
• Index: AMAST Mail 1998