arvind@utcsri.UUCP (Arvind Gupta) (03/27/87)
From: MEYER@xx.lcs.mit.edu
Subject: Boston Logic Conf., April 10--12
FOURTH BIENNIAL GREATER BOSTON (MASS.) LOGIC CONFERENCE
April 10, 11, 12, 1987
Sponsored by
Massachusetts Institute of Technology
Boston University IBM
Boston College MITRE Corporation
Northeastern University Odysset Research Associates, Inc.
The fourth biennial Boston Logic Conference will take place at MIT. Open to
the public. Tentative schedule:
FRIDAY, April 10 (MIT 2-390)
2:00 -- 2:50 Y. N. Moschovakis, Formal properties of parallel
and sequential algorithms.
2:50 -- 3:10 Coffee Break
3:10 -- 4:00 A. S. Kechris, Definability problems in analysis.
4:00 -- 4:30 Coffee Break
4:30 -- 5:30 Contributed Talks
8:00 PARTY AT EASTGATE
SATURDAY, April 11 (MIT 2-190)
10:00 -- 10:50 G. Takeuti, Bounded arithmetic and proof theory.
10:50 -- 11:20 Coffee Break
11:20 -- 12:10 A.Nerode, Complexity theoretic algebra II: Boolean Algebras.
12:10 LUNCH
2:30 -- 3:20 U. Hrushovski, Definable groups in superstable theories.
3:20 -- 3:40 Coffee Break
3:40 -- 4:30 W. H. Woodin, Inner models and determinacy.
4:30 -- 5:00 Coffee Break
5:00 -- 6:00 Contributed Talks
7:00 THAI DINNER AT ASHDOWN HOUSE
SUNDAY, April 12 (MIT 2-190)
9:30 -- 10:20 H. Gaifman, Concurrent non-deterministic computations.
10:20 -- 10:40 Coffee Break
10:40 -- 11:40 Contributed Talks
11:40 -- 12:10 Coffee Break
12:10 -- 1:00 Van den Dries, Analytic quantifier elimination.
HOTEL AND TRAVEL INFORMATION
Participants are encouraged to reserve rooms at the following hotels, all of
which are near Harvard Square, Cambridge, except for the Marriot, which is in
Kendall Square. The least expensive is the Kirkland.
Marriot Hotel 2 Cambridge Center (617) 494-6600
Harvard Motor House 100 Mount Auburn (617) 864-5200
Quality Inn 1651 Mass. Ave. (617) 491-1000
Sheraton Commander 16 Garden Street (617) 547-4800
Kirkland Inn 67 Kirkland Street (617) 354-8249
Both Harvard Square (Harvard stop on the red line) and MIT (Kendall
Square on the red line) are accessible by subway from the Greyhound,
Trailways, and Amtrak stations, and from Logan Airport. From Harvard
Square, MIT can also be reached by the #1 (Dudley) bus.
If you need help with arrangements, please call Nevin Scrimshaw.
INFORMAL ACCOMODATIONS
For anyone who wants to bring a sleeping bag rather than rent a
hotel room, we will try to provide floor space. (Should we run out
of room, students will receive first priority.) To arrange a place,
please contact Stephen Legrand before March 20.
CONTRIBUTED TALKS
There will be some time for informal and contributed talks. Anyone
wishing to give a short talk should contact Peter Clote by March 20.
Be sure to give your name, title, and phone number.
For additional information or assistance please contact anyone on the
organizing committee:
S. Legrand A. Kanamori
Math Department Math Department
MIT Boston University
Cambridge, MA 02139 Boston, MA 02215
(617) 253-2683 (office) (617) 353-9538 (office)
(617) 536-4267 (home) (617) 734-6472 (home)
N. Scrimshaw P. Clote
Math Department Computer Science Department
Northeastern University Boston College
Boston, MA 02115 Chestnut Hill, MA 02167
(617) 437-2450 (office) (617) 552-4333 (office)
(413) 628-3966 (home) (617) 964-1908 (home)