From honeydew.srv.cs.cmu.edu!magnesium.club.cc.cmu.edu!news.sei.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!sparky!rick Fri Sep 10 02:55:27 EDT 1993
Article: 4718 of news.announce.conferences
Xref: honeydew.srv.cs.cmu.edu news.announce.conferences:4718
Newsgroups: news.announce.conferences
Path: honeydew.srv.cs.cmu.edu!magnesium.club.cc.cmu.edu!news.sei.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!uunet!sparky!rick
From: kahle@iam.unibe.ch (Reinhard Kahle)
Subject: CFP: Proof Theory, Provability Logic and Computation
Message-ID: <1993Sep10.004857.3446@sparky.sterling.com>
Sender: rick@sparky.sterling.com (Richard Ohnemus)
Organization: Sterling Software
Date: Fri, 10 Sep 1993 00:48:57 GMT
Approved: rick@sparky.sterling.com
Expires: Thu, 6 Jan 1994 08:00:00 GMT
Lines: 75
X-Md4-Signature: e15efc3cf6ee0525e3f5d247da520221


                            PPC '94

              International Conference on Proof Theory,
                 Provability Logic, and Computation
                        March 20-24, 1994
                  University of Berne, Switzerland

CALL FOR PAPERS

The central aim of this meeting is to provide a platform for the
presentation of recent results in the areas of Proof Theory,
Provability Logic, and Computation where these are interrelated.
More specifically, the main emphasis will be on the following:

- Applications of Proof Theory to Theoretical Computer Science.

- New developments in Provability Logic related to Computer Science

- New challenges from Computer Science for Proof Theory and
  Provability Logic.

The conference is intended for logicians and computer scientists
interested in the interaction of proof theory and theoretical
computer science.

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 special issue of the
journal "Annals of Pure and Applied Logic" devoted to the conference,
where selected papers will be published.

An extended abstract (2 pages) of papers to be submitted should
be sent to the address below not later than January 5, 1994.

The authors will be notified of acceptance for presentation
to the workshop by February 5.

The  complete  paper to be submitted for publication should not
exceed 15 pages and must be available before April 30, 1994.

The conference fee is SFr 200.--.

INVITED SPEAKERS:

L. Beklemishev, Steklov Institute, Moscow
D. de Jongh, University of Amsterdam
W. Buchholz, University of Munich
F. Montagna, University of Siena
S. Buss, U.C.S.D., San Diego CA
R. St"ark, University of Munich
R. Constable, Cornell University
A. Troelstra, University of Amsterdam
P. H'ajek, University of Prague

PROGRAM COMMITTEE:

S. Art"emov, Steklov Institute, Moscow
S. Feferman, Stanford University
G. Boolos, M.I.T., Cambridge MA
G. J"ager, University of Berne
E. Engeler, ETH Z"urich
A. Visser, University of Utrecht

Correspondence should be sent to:
PPC '94
Institut f"ur Informatik und angewandte Mathematik
Universit"at Bern
L"angga3str. 51
CH-3012 Bern
Switzerland
Fax: +41 31 65 39 65
E-mail: ppc@iam.unibe.ch