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