All talks will take place in Gates‑Hillman Center 6115 and the surrounding area (fishbowl room, kitchen, and lounge).
| Time | Event |
|---|---|
| Caffe D'Amore All-Day Espresso and Tea Bar |
|
| 8:30 – 9:00 | Five Points Bakery Coffee and Breakfast Pastries |
| Session 1 (Chair: Umut Acar) | |
| 9:00 – 9:10 | Greg Morrisett Opening Remarks |
| 9:10 – 9:30 | David MacQueen History of Standard ML |
| 9:30 – 9:50 | Dan Licata Some Experience Teaching 15-{122,150,210} at Wesleyan |
| 9:50 – 10:00 | Benjamin Pierce Formal Specification of a Web Server |
| 10:00 – 10:30 | Break |
| Session 2 (Chair: Benjamin Pierce) | |
| 10:30 – 10:50 | Karl Crary Module Theory and Focused Logic |
| 10:50 – 11:10 | Adam Chlipala PHOAS in Fiat |
| 11:10 – 11:30 | Carlo Angiuli Two Notions of Equality and Variable |
| 11:30 – 11:50 | Ashish Agarwal The Accidental Student |
| 12:00 – 2:00 | Executive Chef Sonja Finn Lunch at Carnegie Museum |
| 2:00 – 2:30 | Coffee Break |
| Session 3 (Chair: Derek Dreyer) | |
| 2:30 – 2:50 | Andrew Appel A Trustworthy Proof Checker |
| 2:50 – 3:10 | Andreas Rossberg WebAssembly |
| 3:10 – 3:30 | Umut Acar Bridging Competitive and Collaborative Threading |
| 3:30 – 4:00 | Coffee Break |
| Session 4 (Chair: Bob Harper) | |
| 4:00 – 4:20 | Guy Blelloch The Church-Turing Divide |
| 4:20 – 4:40 | Frank Pfenning Meta^* |
| 4:40 – 5:00 | Tony Balko Bob is your Uncle |
| 5:00 – 5:30 | Break |
| Session 5 (Chair: Dan Licata) | |
| 5:30 – 5:50 | Gordon Plotkin First-Order Differential Programming |
| 5:50 – 6:10 | John Mitchell The Computational Universe |
| 6:10 – 6:20 | Bob Harper Closing Remarks |
| 7:00 – 10:00 | Black Radish Kitchen, Chef Kate Romane Dinner and Birthday Party at Guy Blelloch's |