Thursday, October 10
9am-9:15am | arrive at Michigan State room | hover on titles to see abstracts |
9:15am-9:30am | welcome (Aaron) | |
9:30am-10:15am | Putting PL research to work: A LogiQL perspective Jeff Vaughan | |
10:15am-11am | From Self Type to System G through Comprehension Peng (Frank) Fu | |
11am-11:30am | Break | |
11:30am-12:15pm | Programming in the Futures James Swaine | |
12:15pm-2pm | Lunch at Moonraker's | |
2pm-2:45pm | Programming up to Congruence Vilhelm Sjoeberg | |
2:45pm-3:30pm | Discussion: typed versus untyped? | |
3:30pm-4pm | Break | |
4pm-4:45pm | Deciding Intensional Equality of Total-Inductive Functions Larry Diehl |
Friday, October 11
9am-9:45am | Synthesizing Network Protocol Implementations from Partial Specifications Garrin Kimmell | |
9:45am-10:30am | Generating random well-typed terms: push-button tests for your semantics Burke Fetscher | |
10:30am-11am | Break | |
11am-11:45am | The Recursive Polarized Dual Calculus Aaron Stump | |
11:45am-1:45pm | Split into groups for lunch | |
1:45pm-2:30pm | On the categorical structure of bi-intuitionistic logics Harley Eades III | |
2:30pm-3:15pm | There and Back Again: Reversible Programming Zach Sparks | |
3:30pm-4pm |
Colloquium reception at CS department Muhly Lounge, MacLean Hall | |
4-5pm |
Keynote: Evolving Software from Scripts to Programs Sam Tobin-Hochstadt 118 MacLean Hall |