PLMW 2014
body
Program
| 08:00-08:50 | BREAKFAST |
| 08:50-09:00 | Benjamin C. Pierce : opening slides |
| 09:00-09:30 | Peter O'Hearn : Program Logic and Analysis |
| 09:30-10:00 | Andrew Appel : Software Verification |
| 10:00-10:30 | COFFEE BREAK |
| 10:30-11:00 | Stephanie Weirich : Why You Should Care About Dependent Types slides |
| 11:00-11:30 | Greg Morrisett : Think Big: Some Crazy Thesis Topics slides |
| 11:30-12:00 | Nate Foster : A Pretty Handy Degree slides |
| 12:00-13:30 | LUNCH |
| 13:30-14:00 | Tom Ball: Industry Internships: Where Theory meets Practice slides |
| 14:00-14:30 | Derek Dreyer: Progress and Preservation Considered Boring: A Paean to Parametricity slides parametric Facebook |
| 14:30-15:00 | Philip Wadler : You and Your Research and the Elements of Style blog post slides |
| 15:00-15:30 | COFFEE BREAK |
| 15:30-16:30 | Isil Dillig : Program Analysis slides |
| 16:00-16:30 | John Hughes : Unaccustomed as I am to Public Speaking slides |
| 16:30-16:45 | SHORT BREAK |
| 16:45-17:15 | Peter Sewell : From POPL to the Jungle and Back slides |
| 17:15-18:00 | Young researcher panel: Jade Alglave (lecturer, University College London), Todd J. Green (LogicBlox & adjunct professor, UC Davis), Gareth Smith (postdoc, Imperial), Ross Tate (assistant professor, Cornell), Dimitrios Vytiniotis (researcher, MSR Cambridge) |
| 18:00-20:00 | RECEPTION & one minute madness slides |