dale@LINC.CIS.UPENN.EDU (Dale Miller) (01/17/87)
MID-ATLANTIC MATHEMATICAL LOGIC SEMINAR
PHILADELPHIA, FEBRUARY 21-22, 1987
This meeting will be held at the University of Pennsylvania, Alumni Room,
Towne Building. Please use ground level entrance on the west side just off
Smith Walk, between 33rd and 34th Streets, south of Walnut Street.
SATURDAY, FEBRUARY 21
12 noon Coffee and snacks
1:00 - 2:00 Dana S. Scott, Carnegie-Mellon University
HOW DESIRABLE IS THE REALIZABILITY UNIVERSE?
2:10 - 3:10 Albert R. Meyer, Massachusetts Institute of Technology
FIXED POINT AND LOOPING COMBINATORS IN POLYMORPHIC LAMBDA
CALCULUS
3:40 - 4:40 Peter J. Freyd, University of Pennsylvania
CATEGORIES AND POLYMORPHIC LAMBDA CALCULUS
4:50 - 5:50 John C. Mitchell, A.T.&T. Bell Laboratories
KRIPKE STRUCTURES AND TYPED LAMBDA CALCULUS
SUNDAY, FEBRUARY 22
8:30 Coffee and doughnuts
9:00 - 10:00 Speaker T.B.A., Cornell University
RECURSIVE TYPES IN THE NUPRL PROOF DEVELOPMENT SYSTEM
10:10 - 11:10 Garrel Pottinger, Odyssey Research Associates, Inc.
STRONG NORMALIZATION FOR TERMS OF THE COQUAND-HUET THEORY
OF CONSTRUCTIONS
11:25 - 12:25 Gaisi Takeuti, University of Illinois at Urbana-Champaign
BOUNDED ARITHMETIC AND A WEAK CONSISTENCY
12:35 - 1:35 Scott Weinstein, University of Pennsylvania
SOME RECENT RESULTS IN THE THEORY OF MACHINE INDUCTIVE
INFERENCE
ACCOMMODATIONS
A block of 10 rooms has been set aside at the Sheraton Inn University City,
Chestnut and 36th Streets (215/387-8000) for the participants of the "Logic
Meeting", Saturday night, February 21. The price per room is $64 if you make
your reservation by February 7. Private accommodations will be available for
up to 10 people with sleeping bags. Please call at least 3 days in advance
215/898-8475 or 215/545-5443.
Andre Scedrov
ARPANET: Andre@cis.upenn.edu