[TYPES] IBM PL Day --- schedule and final reminder

[Mukund Raghavachari]

The Sixth IBM Programming Languages Day will be held at the IBM Thomas J.
Watson Research Center on Friday, April 22, 2005. The day will be held in
cooperation with the New Jersey and New England Programming Languages and
Systems Seminars. The main goal of the event is to increase awareness of
each other's work, and to encourage interaction and collaboration.

The Programming Languages Day features a keynote presentation and six
regular presentations. Simon Peyton Jones of Microsoft Research will
deliver the keynote presentation.

You are welcome from 9AM onwards, and the keynote presentation will start
at 10AM sharp. We expect the program to run until 4PM. The Programming
Languages day will be held in room GN-F15 in the Hawthorne-1 building in
Hawthorne, New York.

If you plan to attend the Programming Languages Day, please register by
sending an e-mail with your name, affiliation, and contact information to
raghavac at us.ibm.com so that we can plan for lunch and refreshments.

More details on the IBM programming languages day (including abstracts of 
talks) can be found at 
http://www.research.ibm.com/compsci/plansoft/plday/plday2005.html


AGENDA


10:00-11:15     Simon Peyton Jones              Composable memory 
transactions
                Microsoft Research (Cambridge)

11:15-11:45     Yitzhak Mandelbaum              A Calculus for Specifying 
Ad Hoc
                Princeton University            Data Formats

11:45-12:15     Suad Alagic                     Type Erasure: Breaking the 
Java
                University of Southern Maine    Type System

12:15-13:15     Lunch

13:15-14:00     Vijay Saraswat                  X10: An Object-Oriented 
Approach to
                IBM Research                    Non-Uniform Cluster 
Computing

14:00-14:30         Geoffrey Washburn               Generalizing 
Parametricity Using
                University of Pennsylvania      Information Flow

14:30-15:00     Break

15:00-15:30     Adriana Compagnoni              SIF, A Typed Assembly 
Language for
                Stevens Institute               Non-Interference

15:30-16:00     Eric Allen                      Encapsulated Upgradable 
Components
                Sun Microsystems, Inc.
_______________________________________________
Mukund Raghavachari
IBM T.J. Watson Research Center
http://www.research.ibm.com/people/m/mrm
XJ: the XMLification of Java (http://www.research.ibm.com/xj)