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 7292 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca sci.logic:1991 sci.math:15919 comp.theory:2449 sci.philosophy:6 sci.philosophy.meta:2686 comp.ai.philosophy:7292
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
Message-ID: <1992Oct15.161135.6034@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:11:35 GMT
Lines: 77


            3rd Kurt Goedel Colloquium KGC'93

           Computational Logic and Proof Theory

       August 24--27, 1993      Brno, Czech Republic

                    First Announcement
                            and
                     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).

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.

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.

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, Bratislava
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, Bratislava
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


