Schedule

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