BARWISE@SU-CSLI.ARPA (09/17/84)
From: Jon Barwise <BARWISE@SU-CSLI.ARPA>
Logic, Language and Computation Meeting
The Association for Symbolic Logic (ASL) and the Center for the Study
of Language and Information (CSLI) are planning a two-week summer
school and meeting, July 8-20, 1985, at Stanford University. The
first week (July 8-13) will consist of a CSLI Summer School, with
courses on various topics, including PROLOG, LISP, Complexity Theory,
Denotational Semantics, Generalized Quantifiers, Intensional Logic,
and Situation Semantics. The second week (July 15-20) will be an ASL
meeting with invited lectures (in Logic, Natural Language, and
Computation), symposia (on "Logic in Artificial Intelligence", "Types
in the Study of Computer and Natural Languages", and "Possible
Worlds"), and sessions for contributed papers. Those interested
should contact Ingrid Deiwiks, CSLI, Ventura Hall, Stanford, CA 94305
(ph 415-497-3084) before November 1, with an indication as to whether
they would like to make a reservation for a single or shared room and
board in a residence hall, and for what period of time. A more
detailed program will be available in November. The program committee
consists of Jon Barwise, Solomon Feferman, David Israel and William
Marsh.