arvind@utcsri.UUCP (Arvind Gupta) (04/08/87)
From: RIPBC@cunyvm.bitnet
Subject: Meeting of the Association for Symbolic Logic
ASSOCIATION FOR SYMBOLIC LOGIC
Meeting in Conjunction with the ACM's 19th annual
Symposium on Theory of Computation (STOC)
Sunday, May 24, 1987, New York City
Courant Institute of Mathematical Sciences, New York University
ALL SESSIONS WILL BE HELD IN ROOM 109, WARREN WEAVER HALL
251 MERCER STREET (BETWEEN 3RD AND 4TH STREET)
SESSION FOR CONTRIBUTED PAPERS, 9:30AM - 12 NOON
9:30 - 9:50: Predicative and Impredicative Type Theories.
John C. Mitchell, AT&T Bell Labs
9:55 - 10:15: On Static Learning. Anita Wasilewska,
State University of New York, Stony Brook
10:20 - 10:40: Knowledge Representation and Inductive Inference
of Language. Leona F. Fass, Naval Postgraduate School,
Monterey, California
10:45 - 11:05: Learning from History Can Help.
(preliminary version) Martin Furer and Ernst Specker,
Inst. fur Angewandte Math., Univ. of Zurich
11:10 - 11:30: The Boltzman Principle and Formal Grammars.
Dennis F. Cudia, Northern Ilinois University, Dekalb, Illinois
11:35 - 11:55: Lower Bound Arguments for Off-line Turing Machines.
Wolfgang Maass, University of Illinois at Chicago
SPECIAL SYMPOSIUM, 1:30 - 5:30PM
THE RELATION BETWEEN MATHEMATICAL LOGIC AND COMPUTER SCIENCE
1:30 - 2:15: Knowledge, Proofs and Computation.
Silvio Micali, Massachusetts Institute of Technology
2:30 - 3:15: Recent Developments in the Logic of Knowledge.
Rohit Parikh, City University of New York
3:30 - 4:15: Weak Provability and Complexity.
Gaisi Takeuti, University of Illinois, Urbana
4:30 - 5:15: Complexity Theoretic Algebra.
Anil Nerode, Cornell University
STOC RECEPTION: There will be a reception for STOC attendees
on Sunday evening from 8 to 11PM in Ballrooms C&D at the Grand
Hyatt Hotel, Park Avenue at Grand Central. ASL attendees are
welcome. (Liquid refreshment is included in the STOC
registration fee. There will be a cash bar for those who have
not registered for STOC.)
PRACTICAL INFORMATION
STOC MEETING: The STOC meeting will be held May 25-27 at the
Grand Hyatt Hotel, Park Avenue at Grand Central. For further
information, write Professor Dana May Latch, Dept. of CIS,
Brooklyn College of CUNY, Brooklyn, NY 11210.
ACCOMMODATIONS: A block of rooms have been reserved for ASL
attendees at the Century Paramount Hotel for the nights of May
23 and 24. The rate is $70 for either a single or a double room.
(Rooms for May 25 thru 28 are also available if needed.)
For reservations, send the form below to arrive by May 10. A
deposit in the amount of one night's lodging by check or major
credit card is required. The Century Paramount Hotel is located
at 235 West 46 Street between Broadway and 8th Avenue, in the
Broadway theater district. It is a short walk from the Port
Authority Bus Terminal where the buses from Newark Airport
arrive.
For those who wish to stay at the Grand Hyatt Hotel (where STOC
sessions will be held) a block of rooms have been reserved
beginning May 23, for ASL attendees at the special STOC rate of
$105 for either a single or a double room. For reservations, send
the form below to arrive by May 10.
HOW TO GET TO THE COURANT INSTITUTE: A taxi from midtown should
cost less than $5. To go by subway from the Century Paramount,
walk to the Times Square subway station. Follow signs to N and R
trains (or to the "BMT"). Take the N or R downtown to 8th Street.
Walk south on Broadway to 4th Street and then 1 block west to
Mercer Street. From the Grand Hyatt, use the Number 6 train
downtown from Grand Central and get off at Astor Place. Walk west
1 block to Broadway, south to 4th Street, and 1 block west to
Mercer Street.
************************************************************************
Assoc. Symb. Logic: Reservations Dept.
Century Paramount Hotel
235 West 46 Street
New York, NY 10036
(212)-764-5500
Single ...... Double ...... ($70)
Arrival Date .............Time ................
Departure Date .............Time ................
Sharing room with................................
Name.............................................
Address .........................................
City...................State.....Zip.............
Telephone .......................................
Check enclosed ....... or
Credit Card.......#...................Exp........
Signature........................................
************************************************************************
Assoc. Symb. Logic / STOC
Grand Hyatt New York
Park Avenue at Grand Central
New York, NY 10017
(212)-883-1234
Single ...... Double ...... ($105)
Arrival Date .............Time ................
Departure Date .............Time ................
Sharing room with................................
Name.............................................
Address .........................................
City...................State.....Zip.............
Telephone .......................................
FOR ARRIVAL AFTER 6PM, TO GUARANTEE ROOM:
Credit Card.......#...................Exp........
Signature........................................