Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg III
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:50 - 09:00: Welcome SessionPLMW at Room St Petersburg III
10:30 - 12:00: Session IIPLMW at Room St Petersburg III
10:30 - 11:00
Talk
Academia or Industry?
PLMW
Aarti GuptaPrinceton University
Media Attached
11:00 - 11:30
Talk
Refining Types with SMT
PLMW
Ranjit JhalaUniversity of California, San Diego
Media Attached
11:30 - 12:00
Talk
How to Write Papers So People Can Read Them
PLMW
Media Attached
14:00 - 15:30: Session IIIPLMW at Room St Petersburg III
14:00 - 14:30
Talk
Student Interaction Activity
PLMW
Isil DilligUniversity of Texas, Austin, Ross TateCornell University
14:30 - 15:00
Talk
Automata and Coinduction
PLMW
Alexandra SilvaRadboud University Nijmegen
Media Attached
15:00 - 15:30
Talk
Unaccustomed As I Am to Public Speaking
PLMW
John HughesChalmers University of Technology
Media Attached
16:00 - 17:00: Session IVPLMW at Room St Petersburg III
16:00 - 16:30
Talk
Two Notions of Beauty in Programming
PLMW
Robert HarperCarnegie Mellon University
Media Attached
16:30 - 17:00
Talk
Highs and Lows of a Language Researcher
PLMW
Greg MorrisettCornell University
Media Attached

Sat 23 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Session ICoqPL at Room St Petersburg III
09:00 - 10:00
Talk
Coq 8.5 at work and the future of Coq
CoqPL

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 23 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room St Petersburg III

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change