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

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 Gupta Princeton University
Media Attached
11:00
30m
Talk
Refining Types with SMT
PLMW
Ranjit Jhala University of California, San Diego
Media Attached
11:30
30m
Talk
How to Write Papers So People Can Read Them
PLMW
Derek Dreyer MPI-SWS
Media Attached
14:00 - 15:30
14:00
30m
Talk
Student Interaction Activity
PLMW
Işıl Dillig University of Texas, Austin, Ross Tate Cornell University
14:30
30m
Talk
Automata and Coinduction
PLMW
Alexandra Silva Radboud University Nijmegen
Media Attached
15:00
30m
Talk
Unaccustomed As I Am to Public Speaking
PLMW
John Hughes Chalmers University of Technology
Media Attached

Sat 23 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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