\documentstyle[12pt]{article}

\textwidth16cm
\textheight24.5cm
\parindent0cm
\oddsidemargin-0.5cm
\evensidemargin-0.5cm
\parskip1ex

\usepackage{psfig}
%\usepackage{color}

\newcommand{\color}[1]{}

\pagestyle{empty}


\begin{document}

\vspace*{1cm}

%\definecolor{dyellow}{rgb}{1, 0.78, 0.3}
%\definecolor{dblue}{rgb}{0, 0.40, 0.8}

%\vspace*{-4.4cm}

%\begin{center}
%\ \psfig{figure=csl95_head.eps,width=17cm}
%\end{center}

\bigskip

\begin{center}
{\Huge \bf \color{dyellow} CSL '96}

\bigskip
\bigskip

\color{dblue}
{\Large \bf Annual Conference of the European Association for \\
\smallskip
Computer Science Logic}

{\Large \bf September 21 -- 27, 1996} \\
\smallskip
{\Large {\bf Utrecht, The Netherlands}}

\bigskip
{\Large \bf \color{dyellow} Preliminary Announcement and Call for Papers}
\end{center}

\medskip
CSL is the annual 
conference of the {\em European Association for Computer Science Logic} (EACSL).
The conference is intended for computer scientists whose research activities
involve logic, as well as for logicians working in areas related to
computer science.

\bigskip
\smallskip
\centerline{\bf \color{dblue} Scientific Program}
\vspace{-3mm}
\begin{center}
\begin{minipage}[t]{13.5cm}
\begin{tabular}{lp{10cm}}
September 21 - 22, 1996 &
Tutorial on Applications of Categorical Logic to \\
& Computer Science (Concurrency), organized by \\
& I.\ Moerdijk (Utrecht) \\
\\

September 23 - 27, 1996 & Invited lectures and contributed papers
\end{tabular}
\end{minipage}
\end{center}

\bigskip
\centerline{\bf \color{dblue} Submissions}

Authors are invited to submit five copies
of a draft of a full paper (5-12 pages) and twelve copies of a two
page abstract to the chairman of the program committee. The cover page
should include title, authors, and corresponding author: name, address,
phone number, e-mail address, and fax number (if available).

\medskip
\centerline{\bf \color{red} Deadline: May 1, 1996}

The authors will be notified of acceptance for presentation at the
conference by 

\medskip
\centerline{July 13, 1996.}

The preliminary version of the full paper 
to be submitted to the Proceedings volume (LNCS Springer Verlag)
should be available at the conference. Authors will be notified
of the acceptance of their paper by January 15, 1997.

\pagebreak
\centerline{\bf \color{dblue} Current List of Program Committee Members}
\smallskip
\begin{tabular}{ccc}
C.\ Beierle (Hagen) & J.\ Bergstra (Amsterdam) & D.\ van Dalen (Utrecht)\\
E.\ Gr\"adel (Aachen) & G.\ Jaeger (Bern) & H.R.\ Jervell (Oslo) \\
M.\ Kanovitch (Moscow) & H.\ Kleine B\"uning (Paderborn) & E.\ Moggi (Genova) \\
U.\ Schoening (Ulm) & W.\ Thomas (Kiel)
\end{tabular}

\bigskip
\bigskip
\centerline{\bf \color{dblue} Chair} 
\vspace{-5mm}
\begin{center}
\hspace{10mm}
\begin{minipage}[t]{7cm}
Prof.\ Dr.\ D.\ van Dalen \\
CSL '96 \\
Dept.\ of Philosophy \\
Utrecht University \\
3584 CS Utrecht \\
The Netherlands \\
Phone: +31 30 253 1831 \\
Fax: +31 30 253 2816 \\
E--mail: {\tt csl96@phil.ruu.nl}
\end{minipage}
\\
\bigskip
Chair of Organizing Committee  Dr.\ M.\ Bezem \\
Secretary  M.\ van Atten \\
\end{center}

\bigskip
\centerline{\bf \color{dblue} Grants}

For young scientists living at least one year in EU--countries
some grants are available from the HCM Euroconferences program of the EU.  
For more 
information please contact the chair. The final application should be sent 
not later then May 1, 1996.

\bigskip
\bigskip
\centerline{\bf \color{dblue} EACSL Board}
\vspace{-5mm}
\begin{center}
E.\ B\"orger, D.\ van Dalen, K.\ Ambos--Spies, K.\ Meinke, J.\ Y.\ Girard \\
C.\ B\"ohm, B.\ Buchberger, Y.\ Gurevich, L.\ Pacholski
\end{center}

\vfill

\centerline{
The conference is sponsored by the EU (HCM Euroconferences program) and others}
\end{document}

-- 
   Non, je n'ai rien fait.
   J'ai donc intensement travaille' -- Bram van Velde