[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