Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg III
Floor0
Room InformationNo extra information available
Program

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

Conference Day
Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:50 - 09:00
Welcome SessionPLMW at Room St Petersburg III
10:30 - 12:00
10:30
30m
Talk
Academia or Industry?
PLMW
Aarti GuptaPrinceton University
Media Attached
11:00
30m
Talk
Refining Types with SMT
PLMW
Ranjit JhalaUniversity of California, San Diego
Media Attached
11:30
30m
Talk
How to Write Papers So People Can Read Them
PLMW
Media Attached
14:00 - 15:30
14:00
30m
Talk
Student Interaction Activity
PLMW
Isil DilligUniversity of Texas, Austin, Ross TateCornell University
14:30
30m
Talk
Automata and Coinduction
PLMW
Alexandra SilvaRadboud University Nijmegen
Media Attached
15:00
30m
Talk
Unaccustomed As I Am to Public Speaking
PLMW
John HughesChalmers University of Technology
Media Attached

Conference Day
Sat 23 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Sat 23 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Conference Day
Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change