[Prev][Next][Index][Thread]

UPDATE: 3rd Kurt Goedel Colloquium




UPDATE:
Note list of invited speakers
Proceedings will be published by Springer


            3rd Kurt Goedel Colloquium KGC'93

           Computational Logic and Proof Theory

       August 24--27, 1993      Brno, Czech Republic

                    LAST CALL FOR PAPERS


The Kurt Goedel Society will hold its 3rd Kurt Goedel Colloquium
from Tuesday, August 24, to Friday, August 27, 1993 in Brno,
Czech Republic, the town where Kurt Goedel 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).

Scope:  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 AI, recursion theory,
logic programming, lambda-calculus.

Scientific Program:  The program will consist of invited
lectures and contributed papers selected from the submissions.
The invited speakers are:

  Egon Boerger (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)

The proceedings volume will be published in the Springer
Lecture Notes in Computer Science series.

Paper Submission:  Authors are kindly requested to submit 3 copies
of a full draft paper (in English) not exceeding 12 pages not later
January 31, 1993, to the program committee chairman

Alexander Leitsch, Technische Universitaet Wien,
Institut fuer Computersprachen E185.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.

Notification:  Authors will be notified of acceptance or rejection
of their submissions by March 31, 1993. The final camera-ready
version of the paper must be received by May 31, 1993.


Program Committee                  Organizing Committee

K. Ambos-Spies, Heidelberg         E. Fuchs, Brno
M. Baaz, Vienna                    K. Hoerwein, Vienna
W. Bibel, Darmstadt                E. Koehler (chair), Vienna
N. Brunner, Vienna                 P. Materna, Brno
G. Gottlob, Vienna                 H.-D. Schwabl, Vienna
Y. Gurevich, Ann Arbor             J. Starek, Brno
H. Kleine Buening, Paderborn       R. Zach, Vienna
J. Krajicek, Prague                J. Zlatuska, Brno
A. Leitsch (chair), Vienna
P. Materna, Brno
D. Mundici, Milan
P. Pudlak, Prague
D. Scott, Linz


Correspondence and Paper Submission

KGC'93
Technische Universitaet Wien
Institut fuer Computersprachen E185.2
Resselgasse 3/1
A-1040 Vienna, Austria

Phone:   +43 (1) 58801-4088
Fax:     +43 (1) 504 15 89
email:   kgs@csdec2.tuwien.ac.at



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