Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 alpha 5/22/85; site cbosgd.UUCP
Path: utzoo!watmath!clyde!cbosgd!janb
From: janb@mcvax.uucp (Jan A. Bergstra)
Newsgroups: net.announce
Subject: Call for Partic, Conference on Church's Thesis, Holland
Message-ID: <1889@cbosgd.UUCP>
Date: Wed, 5-Mar-86 11:20:31 EST
Article-I.D.: cbosgd.1889
Posted: Wed Mar  5 11:20:31 1986
Date-Received: Fri, 7-Mar-86 05:22:48 EST
Sender: mark@cbosgd.UUCP
Organization: University of Utrecht, Dept. of Phil.
Lines: 24
Keywords: cfp, Church's Thesis, logic, computability
Approved: mark@cbosgd.UUCP

CALL FOR PARTICIPATION.

Conference on "Church's Thesis after fifty years":

Organized by : University of Utrecht
Dates        : June 14,15 1986
Topics       : Computability, recursion theory, foundations
Place        : Conference Center Woudschoten
               Woudenbergseweg 54
               3707 MX Zeist
               Holland
Speakers     : E.Boerger, R.O.Gandy, J.Y.Girard, Y.Gurevich,
               M.Hyland, G.Kreisel, D.S.Scott

For information and registration, write to:
C.P.J.Koymans
Philosophy Department
University of Utrecht
P.O.Box 80.103
3508 TC Utrecht
Holland

mcvax!boring!janb
mcvax!accumv!iwldald