[TYPES] IBM PL Day --- schedule and final reminder
raghavac at us.ibm.com
Tue Apr 19 11:19:10 EDT 2005
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
10:00-11:15 Simon Peyton Jones Composable memory
Microsoft Research (Cambridge)
11:15-11:45 Yitzhak Mandelbaum A Calculus for Specifying
Princeton University Data Formats
11:45-12:15 Suad Alagic Type Erasure: Breaking the
University of Southern Maine Type System
13:15-14:00 Vijay Saraswat X10: An Object-Oriented
IBM Research Non-Uniform Cluster
14:00-14:30 Geoffrey Washburn Generalizing
University of Pennsylvania Information Flow
15:00-15:30 Adriana Compagnoni SIF, A Typed Assembly
Stevens Institute Non-Interference
15:30-16:00 Eric Allen Encapsulated Upgradable
Sun Microsystems, Inc.
IBM T.J. Watson Research Center
XJ: the XMLification of Java (http://www.research.ibm.com/xj)
More information about the Types-list