Project Updates from Participating Sites (DeepSpec 2019)

Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United States

Who

Andrew W. Appel, Adam Chlipala, Zhong Shao

Track

DeepSpec 2019

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect 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

Sat 22 Jun 2019 09:45 - 10:30 at 106B - Deep Specifications Chair(s): Lennart Beringer

Abstract

TBA

Andrew W. Appel

Princeton

Adam Chlipala

Massachusetts Institute of Technology, USA

United States

Zhong Shao

Yale University