Conference on Church's Thesis,call for participation.

Article View: net.general

Article #4507

#4507

From: Jan A. Bergstra
Date: Mon, 03 Mar 1986 14:57

24 lines
1358 bytes

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

Technical Details

Message-ID: <6807@boring.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!gamma!epsilon!zeta!sabre!petrus!bellcore!decvax!genrad!panda!talcott!harvard!seismo!mcvax!boring!janb

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!gamma!epsilon!zeta!sabre!petrus!bellcore!decvax!genrad!panda!talcott!harvard!seismo!mcvax!boring!janb
From: janb@boring.uucp (Jan A. Bergstra)
Newsgroups: net.general
Subject: Conference on Church's Thesis,call for participation.
Message-ID: <6807@boring.UUCP>
Date: Mon, 3-Mar-86 09:57:35 EST
Article-I.D.: boring.6807
Posted: Mon Mar  3 09:57:35 1986
Date-Received: Wed, 5-Mar-86 05:49:50 EST
Reply-To: janb@mcvax.UUCP (Jan A. Bergstra)
Followup-To: net.followup
Distribution: net
Organization: CWI, Amsterdam
Lines: 25
Keywords: Church's Thesis, logic, computability
Apparently-To: rnews@mcvax