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-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