Write a Blog >>
Tue 19 Jan 2016 11:30 - 12:00 at Room St Petersburg III - Session II

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

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