[Prev][Next][Index][Thread]

LOGIC MEETING UPDATE

Posted-Date: Mon, 27 Feb 89 14:11 EST
Date: Mon, 27 Feb 89 14:11 EST

To: general@cis.upenn.edu, lcs@linc.cis.upenn.edu, types@theory.LCS.MIT.EDU,
        logic@theory.LCS.MIT.EDU

                          UPDATED SCHEDULE 
                    

               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   Jean Gallier, University of Pennsylvania: 
           AUTOMATED THEOREM PROVING USING EQUATIONAL MATINGS
           AND RIGID UNIFICATION

 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   Samson Abramsky, Imperial College, London
        and University of Pennsylvania:
           STONE DUALITY AS A UNIFYING FRAMEWORK FOR PROGRAMMING LANGUAGE
           SEMANTICS AND LOGIC

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