From: rz@mips.complang.tuwien.ac.at (Richard Zach)
Subject: UPDATE: 3rd Kurt Goedel Colloquium (LaTeX)
Followup-To: poster
Reply-To: kgs@csdec1.tuwien.ac.at
Organization: Technische Universit"at Wien
Date: Mon, 11 Jan 1993 20:08:28 GMT

% UPDATE: 
% NOTE LIST OF INVITED SPEAKERS
% PROCEEDINGS PUBLISHED BY SPRINGER

% This is the Call for Papers for the 3rd
% Kurt G"odel Colloquium: Computational Logic and Proof Theory
% in LaTeX format.

% Please post and distribute widely


\documentstyle[11pt,fullpage]{article}
\pagestyle{empty}
\begin{document}

\begin{center}
{\Large {3rd Kurt G\"odel Colloquium KGC'93}}\\[3ex]
{\huge {\bf Computational Logic and Proof Theory}}\\[4ex]
{August 24--27, 1993\qquad
Brno, Czech Republic\\[4ex]
{\Large
\bf LAST CALL FOR PAPERS}}
\end{center}

\bigskip

\begin{center}
\begin{tabular}{@{}p{.29\textwidth}|p{.67\textwidth}@{}}
%\small\ixpt\setlength{\baselineskip}{9pt}
\footnotesize

{\bf Program Committee}

\medskip
\begin{tabular}{l@{}}
K. Ambos-Spies, Heidelberg\\
M. Baaz, Vienna\\
W. Bibel, Darmstadt\\
N. Brunner, Vienna\\
G. Gottlob, Vienna\\
Y. Gurevich, Ann Arbor\\
H. Kleine B\"uning, Paderborn\\
J. Kraj\'\i{\v c}ek, Prague\\
A. Leitsch (chair), Vienna\\
P. Materna, Brno\\
D. Mundici, Milan\\
P. Pudl\'ak, Prague\\
D. Scott, Linz
\end{tabular}

\medskip
{\bf Organizing Committee}

\medskip
\begin{tabular}{l@{}}
E. Fuchs, Brno\\
K. H\"orwein, Vienna\\
E. K\"ohler (chair), Vienna\\
P. Materna, Brno\\
H.-D. Schwabl, Vienna\\
J. Starek, Brno\\
R. Zach, Vienna\\
J. Zlatu\v{s}ka, Brno
\end{tabular}

\medskip
{\bf Correspondence and\par Paper Submission}

\medskip

\begin{tabular}{l@{}}
KGC'93\\
Technische Universit\"at Wien\\
Institut f\"ur
Computersprachen\\
Resselgasse 3/{\sc e}$\mit 185.2$\\ 
A-1040 Vienna, Austria 
\end{tabular}

\begin{tabular}{l@{\hspace{3pt}}l@{}}
Phone: & +43 (1) 58801-4088\\
Fax: & +43 (1) 504 15 89\\
email:& {\viiipt\tt kgs@csdec2.tuwien.ac.at}
\end{tabular}

\medskip

{\bf Important dates}

\medskip

\begin{tabular}{l@{}}
Submission:\\{\bf 31 January, 1993} \\
Notification:\\{\bf 31 March, 1993} \\ 
Camera-ready copy:\\{\bf 31 May, 1993}
\end{tabular}

&

\setlength{\parskip}{1em}
The Kurt G\"odel Society will hold its 3rd
Kurt G\"odel Colloquium from Tuesday, August 24, to
Friday, August 27, 1993 in Brno, Czech Republic, the 
town where Kurt G\"odel was born.

KGC'93 is the third in a series of biannual colloquia 
on logic, theoretical computer science and philosophy 
of mathematics. The first two colloquia took place in 
Salzburg (1989) and in Kirchberg am Wechsel (1991).

{\bf Scope:\quad}
The colloquium is intended for logicians and computer scientists
interested in the proof-theoretic and algorithmic aspects of logic.
Topics include,
but are not limited to: proof theory, automated theorem proving,
unification theory, complexity theory,
logics of programs, non-standard logics for
theoretical computer science and {\sc ai}, 
recursion theory, logic programming, $\lambda$-calculus. 

{\bf Scientific Program:\quad}
The program will consist of invited lectures and contributed
papers selected from the submissions. The invited speakers are:
\par\smallskip\par
\begin{tabular}{l@{\quad}l}
Egon B\"orger (Pisa) & Robert Cowen (New York) \\
Solomon Feferman (Stanford) & Petr Hajek (Prague) \\
Joseph Y.\ Halpern (Almaden) & Viktor Marek (Lexington) \\
Per Martin-L\"of (Stockholm) & Leszek Pacholski (Wroclaw)
\end{tabular}
\par\smallskip\par
The proceedings volume will
be published in the Springer {\em Lecture Notes in Computer Science} series.

{\bf Paper Submission:\quad}
Authors are kindly requested to submit 3~copies of a full 
draft paper (in English) not exceeding 12~pages not later 
{\bf January~31, 1993}, to the program committee chairman 
Alexander Leitsch, Technische Universit\"at Wien,
Institut f\"ur Computersprachen {\sc e}$\mit 185.2$, 
Resselgasse 3/1, A-1040 Vienna, Austria/Europe.
Authors from locations where
access to reproduction facilities is 
severely limited may submit one
copy only.

{\bf Notification:\quad} Authors will be 
notified of acceptance or rejection
of their submissions by {\bf March~31, 1993}. The 
final camera-ready version of the paper must be 
received by {\bf May~31, 1993}.
\end{tabular}
\end{center}
\end{document}