[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}