Write a Blog >>
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-home145319040000009:00 - 09:30
Talk
Matthew MightUniversity of Utah, USA
Media Attached
PLMW-2016-home145319220000009:30 - 10:00
Talk
Media Attached
PLMW-2016-home
10:30 - 12:00: PLMW - Session II at Room St Petersburg III
PLMW-2016-home145319580000010:30 - 11:00
Talk
Aarti GuptaPrinceton University
Media Attached
PLMW-2016-home145319760000011:00 - 11:30
Talk
Ranjit JhalaUniversity of California, San Diego
Media Attached
PLMW-2016-home145319940000011:30 - 12:00
Talk
Media Attached
PLMW-2016-home
14:00 - 15:30: PLMW - Session III at Room St Petersburg III
PLMW-2016-home145320840000014:00 - 14:30
Talk
Isil DilligUniversity of Texas, Austin, Ross TateCornell University
PLMW-2016-home145321020000014:30 - 15:00
Talk
Alexandra SilvaRadboud University Nijmegen
Media Attached
PLMW-2016-home145321200000015: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-home145321560000016:00 - 16:30
Talk
Robert HarperCarnegie Mellon University
Media Attached
PLMW-2016-home145321740000016: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-main145353600000009:00 - 10:00
Talk
CoqPL-2016-main
10:30 - 12:05: CoqPL - Session II at Room St Petersburg III
CoqPL-2016-main145354140000010:30 - 10:55
Talk
Link to publication
CoqPL-2016-main145354290000010:55 - 11:20
Talk
Link to publication
CoqPL-2016-main145354440000011:20 - 11:45
Talk
Nicolás Lehmann, Éric TanterUniversity of Chile, Chile
Link to publication
CoqPL-2016-main145354590000011:45 - 12:05
Talk
Link to publication
CoqPL-2016-main
14:00 - 15:25: CoqPL - Session III at Room St Petersburg III
CoqPL-2016-main145355400000014:00 - 15:00
Talk
Chung-Kil HurSeoul National University
CoqPL-2016-main145355760000015: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-main145356120000016:00 - 16:25
Talk
Amin Timany, Bart JacobsiMinds - Distrinet, KU Leuven
Link to publication
CoqPL-2016-main145356270000016:25 - 16:50
Talk
Pre-print
CoqPL-2016-main145356420000016: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-main145356570000017:15 - 17:45
Talk
Andrew AppelPrinceton
CoqPL-2016-main145356750000017: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