CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg III
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Tue 19 Jan

PLMW-2016-home
08:50 - 09:00: PLMW - Welcome Session at Room St Petersburg III
PLMW-2016-home
09:00 - 10:00: PLMW - Session I at Room St Petersburg III
PLMW-2016-home09:00 - 09:30
Talk
Matthew MightUniversity of Utah, USA
Media Attached
PLMW-2016-home09:30 - 10:00
Talk
Media Attached
PLMW-2016-home
10:30 - 12:00: PLMW - Session II at Room St Petersburg III
PLMW-2016-home10:30 - 11:00
Talk
Aarti GuptaPrinceton University
Media Attached
PLMW-2016-home11:00 - 11:30
Talk
Ranjit JhalaUniversity of California, San Diego
Media Attached
PLMW-2016-home11:30 - 12:00
Talk
Media Attached
PLMW-2016-home
14:00 - 15:30: PLMW - Session III at Room St Petersburg III
PLMW-2016-home14:00 - 14:30
Talk
Isil DilligUniversity of Texas, Austin, Ross TateCornell University
PLMW-2016-home14:30 - 15:00
Talk
Alexandra SilvaRadboud University Nijmegen
Media Attached
PLMW-2016-home15:00 - 15:30
Talk
John HughesChalmers University of Technology
Media Attached
PLMW-2016-home
16:00 - 17:00: PLMW - Session IV at Room St Petersburg III
PLMW-2016-home16:00 - 16:30
Talk
Robert HarperCarnegie Mellon University
Media Attached
PLMW-2016-home16:30 - 17:00
Talk
Greg MorrisettCornell University
Media Attached

Sat 23 Jan

CoqPL-2016-main
09:00 - 10:00: CoqPL - Session I at Room St Petersburg III
CoqPL-2016-main09:00 - 10:00
Talk
CoqPL-2016-main
14:00 - 15:25: CoqPL - Session III at Room St Petersburg III
CoqPL-2016-main14:00 - 15:00
Talk
Chung-Kil HurSeoul National University
CoqPL-2016-main15:00 - 15:25
Talk
Marek MaterzokUniversity of Wroclaw
Link to publication
CoqPL-2016-main
16:00 - 18:00: CoqPL - Session IV at Room St Petersburg III
CoqPL-2016-main16:00 - 16:25
Talk
Amin Timany, Bart JacobsiMinds - Distrinet, KU Leuven
Link to publication
CoqPL-2016-main16:25 - 16:50
Talk
Pre-print
CoqPL-2016-main16:50 - 17:15
Talk
Matthew Chan, Daniel RickettsUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego, Gregory MalechaUCSD
Link to publication
CoqPL-2016-main17:15 - 17:45
Talk
Andrew AppelPrinceton
CoqPL-2016-main17:45 - 18:00
Talk

Tue 19 Jan 2016

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room St Petersburg III
08:50 - 09:00
09:00 - 10:00
10:30 - 12:00
14:00 - 15:30
16:00 - 17:00
17:00 - 17:45

Sat 23 Jan 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Room St Petersburg III
09:00 - 10:00
10:30 - 12:05
14:00 - 15:25
16:00 - 18:00