From newshub.ccs.yorku.ca!torn!cs.utexas.edu!uunet!email!mips.complang.tuwien.ac.at!rz Mon Oct 19 16:59:26 EDT 1992
Article 7293 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca sci.logic:1992 sci.math:15920 comp.theory:2450 sci.philosophy:7 sci.philosophy.meta:2687 comp.ai.philosophy:7293
Newsgroups: sci.logic,sci.math,comp.theory,sci.philosophy,sci.philosophy.meta,comp.ai.philosophy
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!uunet!email!mips.complang.tuwien.ac.at!rz
>From: rz@mips.complang.tuwien.ac.at (Richard Zach)
Subject: CfP: Computational Logic and Proof Theory (LaTeX)
Message-ID: <1992Oct15.161340.6155@email.tuwien.ac.at>
Followup-To: poster
Sender: news@email.tuwien.ac.at
Nntp-Posting-Host: mips.complang.tuwien.ac.at
Reply-To: kgs@csdec1.tuwien.ac.at
Organization: Technische Universit"at Wien
Date: Thu, 15 Oct 1992 16:13:40 GMT
Lines: 117

% 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]
First Announcement}\\[0.5ex]
and\\[1.5ex]
{\Large
{\bf CALL FOR PAPERS}}
\end{center}

\bigskip

\medskip

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

{\bf Program Committee}

\smallskip
\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, Bratislava\\
D. Mundici, Milan\\
P. Pudl\'ak, Prague\\
D. Scott, Linz
\end{tabular}

\medskip
{\bf Organizing Committee}

\smallskip
\begin{tabular}{l@{}}
E. Fuchs, Brno\\
K. H\"orwein, Vienna\\
E. K\"ohler (chair), Vienna\\
P. Materna, Bratislava\\
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}

\smallskip

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

&

\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).

The scientific program will consist of invited lectures and short contributions, which will be selected from the submitted papers. All contributions will be refereed for a Proceedings volume.

{\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 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}


