Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 23 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
09:00
30m
Talk
What an SMT solver can do for you
PLMW @ ICFP
Nadia Polikarpova University of California, San Diego
09:30
30m
Talk
Gradual Types
PLMW @ ICFP
Ronald Garcia University of British Columbia
10:20 - 12:00
10:20
30m
Talk
I'm a Young Assistant Professor: AMA. + Heather's Unsolicited Advice About Grad School
PLMW @ ICFP
Heather Miller Carnegie Mellon University
10:50
70m
Social Event
Interactive Game
PLMW @ ICFP
Joachim Breitner DFINITY Foundation, Niki Vazou University of Maryland, USA
13:30 - 15:10
13:30
33m
Talk
How to write a Great Research Paper
PLMW @ ICFP
Simon Peyton Jones Microsoft, UK
14:03
33m
Talk
Dependent Types
PLMW @ ICFP
Stephanie Weirich University of Pennsylvania, USA
14:36
34m
Talk
An opinionated talk on how to give talks
PLMW @ ICFP
Ranjit Jhala University of California, San Diego
15:30 - 16:30
15:30
60m
Talk
Panel Discussion: Research in Functional Programming
PLMW @ ICFP
Alejandro Russo Chalmers University of Technology, Sweden, Katie Ots Facebook, Leonidas Lampropoulos University of Pennsylvania, David Darais University of Vermont, Ivan Perez National Institute of Aerospace, USA