[Prev][Next][Index][Thread]
European Association for Computer Science Logic
% The following announcement is formatted in Latex
% to appear on the types forum
%
\documentstyle{report}
\pagestyle{empty}
\mag=\magstep1
\addtolength{\oddsidemargin}{-1.6 true in}
\addtolength{\topmargin}{-1.3 true in}
\setlength{\textwidth}{19 true cm}
\setlength{\textheight}{27 true cm}
\thispagestyle{empty}
\begin{document}
\centerline{\Huge \bf CSL '93}
\vskip 0.1in
\centerline{\Large \bf 1993 Annual Conference of the }
\vskip 0.05in
\centerline{ \Large \bf European Association for Computer Science Logic}
\vskip 0.2in
\centerline{ \Large \bf 13th -- 17th September 1993}
\centerline{ \LARGE \bf University College of Swansea, Wales}
\centerline{ \Large \bf United Kingdom }
\vskip 0.2in
\centerline{ \Large Second Announcement
and
Call For Papers }
\vskip 0.2in
The conference {\it Computer Science Logic '93} will be held from
Monday, September 13th to Friday, September 17th, 1993, at the University
College of Swansea. Swansea is the second largest city in
Wales and is situated on the southern coast at the edge of the Gower peninsula,
an area of
outstanding natural beauty.
{\it CSL '93} is the 1993 annual conference of the newly formed {\it European
Association for Computer Science Logic (EACSL)}. The conference took place
in previous years under the title {\it Workshop on Computer Science Logic}
at Karlsruhe (1987), Duisburg (1988), Kaiserslautern (1989),
Heidelberg (1990), Bern (1991) and Pisa (1992).
The conference is intended for computer
scientists whose research activities involve logic, as well as for
logicians working in areas related to computer science.
The scientific program will consist of invited lectures and
contributed papers selected from those submitted. All
contributions will be refereed for a Proceedings volume. The Proceedings will
be published by
Springer Verlag in the {\it Lecture Notes in Computer Science Series}.
Six copies of an extended abstract (up to 5 pages) of papers to be
submitted should be sent to the program committee chairman (K. Meinke)
to arrive not later than June 1, 1993. The authors will be notified of
acceptance for presentation at the workshop by July 20, 1993.
The preliminary version of the complete paper to be submitted to the
Proceedings volume should be available at the start of the workshop.
Authors will be
notified of the acceptance of their papers for the Proceedings volume
by January 15, 1994.
The final camera-ready version of the paper should not exceed 15 pages
and must be submitted before February 26, 1994.
\vskip 0.2in
{\bf
\begin{tabbing}
Invited Speakers are: \=
J.A. Bergstra (Amsterdam), \hskip 0.2in \= A. Blass (Michigan),\\
\> E. Gr\"adel (Basle),\>
I. Hodkinson (Imperial),\\
\> D. Kozen (Cornell), \> P. Martin-L\"of (Stockholm),\\
\> R. Milner (Edinburgh),\> W. Thomas (Kiel),\\
\> S.S. Wainer (Leeds). \> \\
\> \> \\
Program Committee: \>
E. B\"orger (Pisa),
\> E. Grandjean (Caen),\\
\> Y. Gurevich (Michigan), \>
W. Hodges (QMC London),\\
\> G. J\"ager (Bern), \> H. Kleine B\"uning (Paderborn),\\
\> K. Meinke (Swansea, Chair), \>
P. Pudlak (Prague),\\
\> M. Richter (Kaiserslautern),\>
J. Tiuryn (Warsaw).\\
\end{tabbing}
}
{\bf
\begin{tabbing}
Correspondence should be sent to: \=
Dr. K. Meinke (CSL '93),\\
\>
Department of Computer Science,\\
\>
University College of Swansea, \\
\>
Swansea SA2 8PP, \\
\>
Great Britain.\\
\>
E-mail: csl93@pyr.swan.ac.uk
Fax: +44 792 295708 \\
\end{tabbing}
}
\vfill\eject
\end{document}