Two Notions of Beauty in Programming (PLMW)

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Track

PLMW

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 19 Jan 2016 16:00 - 16:30 at Room St Petersburg III - Session IV

Bio

Robert Harper is a professor in the Computer Science Department at Carnegie Mellon University, where he has been a member of faculty since 1988. His main research interest is in the application of type theory to the design and implementation of programming languages and to the development of systems for mechanization of mathematics. Robert Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence at Carnegie Mellon, and is an ACM Fellow.

Two Notions of Beauty in Programming