Delivery-Date: 
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Message-Id: <9302071032.AA12200@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted (INFO-HOL mailing list)
Subject: Forwarded: The Year of Alonzo Church
Date: Sun, 07 Feb 93 02:32:16 PST
From: chou@edu.ucla.cs

From: zeleny@husc10.harvard.edu (Mikhail Zeleny)
Newsgroups:  
rec.arts.books,sci.math,sci.logic,sci.philosophy.tech,sci.philosophy
.meta,comp.theory,comp.ai.philosophy
Subject: The Year of Alonzo Church
Date: 6 Feb 93 21:36:30 GMT
Organization: The Phallogocentric Cabal
Lines: 58
Nntp-Posting-Host: husc10.harvard.edu

Windbag Productions proudly present:
_________________________________________________________________________

ANNOUNCING THE AD HOC ALONZO CHURCH APPRECIATION SOCIETY

As you undoubtedly know, or in any case ought to know, the greatest
living logician in the world, Professor Alonzo Church, who is
currently residing in a retirement community in Hudson, Ohio, will
turn 90 on June 14 of this year.  Accordingly, an effort is underway
to find an agency interested in hosting, or participating in a
birthday symposium for him, and producing a volume of papers in his
honor.  At the moment, there is a more or less definite possibility of
scheduling sessions in his honor as part of the June LICS meeting in
Montreal.  We currently have several well-known contributors to the
planned _Festschrift_, and would very much appreciate more Famous
Logicians and Philosophers to follow suit.  As of February 6, 1993,
participants include Tony Anderson, Henk Barendregt, Jon Barwise,
Michael Beeson, John P. Burgess, Martin Davis, Bas van Fraassen,
Thomas Jech, Daniel Leivant, John McCarthy, John Mitchell, Willard
Quine, Andre Scedrov, Dana Scott, John Shepherdson, Wilfried Sieg,
Rich Thomason, and Hugh Woodin.  According to his family, Church is in
good health, and still actively pursuing his research in logic; he
currently has two papers in the publication queue at _Nous_, so
presumably he could contribute something of his writings.  (However,
at the moment, he is still unaware of this undertaking; the plan is to
invite him shortly, so please be discreet.)  All contributions will be
rigorously refereed, with the intention of presenting a collection
reflecting the vast scope and remarkable depth of Church's numerous
contributions to mathematical logic and formal philosophy.  As of yet,
we have not settled on a publisher; however, CSLI is a possibility
currently being considered.  All technical and administrative tasks
associated with organizational and editorial matters will be taken
care of by volunteer effort; however corporate and government funds
will be needed to cover the speakers' travel expenses.  If you have
any papers in classical, intuitionistic, or relevant logic, Cantorian
or Church set theory, simple or ramified type theory, \lambda-calculus
or combinatory logic, history of logic, recursion theory or Church's
thesis, proof theory, theoretical computer science, philosophy of
language or ontology, modal or intensional logic, or formal semantics,
that you think appropriate, please consider presenting them at the
Church symposium, and/or submitting them for publication in the said
volume.  Furthermore, if you are interested in lending a hand and
participating in this ad hoc society in other ways, or can suggest
people to contact concerning paper submissions, publishers, or
possible sources of funding, please contact me at the address below.

Please pass this message along to the theoretical computer scientists,
logicians, mathematicians, and philosophers of your acquaintance, and
send anniversary messages in care of Alonzo Church, Jr., 136 Hudson
St., Hudson, OH 44236, who will pass them to his father on June 14th.

cordially,
michael zeleny@husc.harvard.edu
872 Massachusetts Avenue, Apt 707 

Cambridge, Massachusetts    02139
(617) 661-8151
"Les beaulx bastisseurs nouveaulx de pierres mortes ne sont escriptz
en mon livre de vie.  Je ne bastis que pierres vives: ce sont hommes."