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

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
Newsgroups: sci.logic