[Prev][Next][Index][Thread]
PENN LOGIC MEETING
Posted-Date: Mon, 13 Feb 89 11:52 EST
Date: Mon, 13 Feb 89 11:52 EST
To: lcs@linc.cis.upenn.edu, types@theory.LCS.MIT.EDU, logic@theory.LCS.MIT.EDU,
general@cis.upenn.edu
MIDATLANTIC MATHEMATICAL LOGIC SEMINAR
Philadelphia, March 4 - 5 , 1989
Once again, MAMLS comes to Penn. Talks will be held in the Rittenhouse
Laboratory on the campus of the University of Pennsylvania, SE corner
of 33rd and Walnut Streets, Room A6, first floor. Enter on 33rd Street
through the glass doors and stay on the first floor, going all the way
to the back. Saturday lunch and reception and Sunday breakfast will be
on site. Coffee and tea will be available between the talks.
SATURDAY, MARCH 4
11:30 Lunch
12:30 David MacQueen, AT&T Bell Labs and University of Pennsylvania:
APPLICATION OF TYPE THEORY TO PROGRAMMING LANGUAGE DESIGN
1:40 Samson Abramsky, Imperial College, London and University of
Pennsylvania:
STONE DUALITY AS A UNIFYING FRAMEWORK FOR PROGRAMMING
LANGUAGE SEMANTICS AND LOGIC
2:40 Refreshments
3:10 Sergei Goncharov, Institute of Mathematics, Novosibirsk
and Cornell University:
ENUMERATIONS AND RECURSIVE MODEL THEORY
4:20 Jean Larson, University of Florida:
CANONICAL PARTITION RELATIONS
5:20 Reception
SUNDAY, MARCH 5
8:45 Breakfast
9:15 Jean Gallier, University of Pennsylvania:
AUTOMATED THEOREM PROVING USING EQUATIONAL MATINGS AND RIGID
UNIFICATION
10:20 James Lipton, Cornell University:
RELATING KRIPKE MODELS AND REALIZABILITY
11:25 Richard Mansfield, Pennsylvania State University:
RECURSION THEORY OVER ABSTRACT MODELS
* * *
Hotels within a 10 minute walk to the lectures: (area code 215)
Sheraton University City 387-8000, $76 if reserved before February 22
(mention "Penn Logic Meeting")
Penn Tower Hotel 387-8333, $95
Divine Tracy Hotel 382-4310, $22
Another suggestion is Quality Inn Center City, 568-8300, $70, within
a 30 minute walk or a short drive from campus.
Looking forward to seeing you at the meeting,
Andre Scedrov
andre@linc.cis.upenn.edu
898-8475 office