How to Write Papers So People Can Read Them (PLMW) - POPL 2016

Write a Blog >>

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

Track

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

When

Tue 19 Jan 2016 11:30 - 12:00 at Room St Petersburg III - Session II

How to Write Papers So People Can Read Them

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

Session Program

Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	10:30 - 12:00	Session IIPLMW at Room St Petersburg III

	10:30 30m Talk		Academia or Industry? PLMW Aarti Gupta Princeton University Media Attached
	11:00 30m Talk		Refining Types with SMT PLMW Ranjit Jhala University of California, San Diego Media Attached
	11:30 30m Talk		How to Write Papers So People Can Read Them PLMW Derek Dreyer MPI-SWS Media Attached

Derek Dreyer

MPI-SWS