U. Iowa Mini-Symposium on Programming Languages
October 2013

The room for both days is the Michigan State room (#349) in the Iowa Memorial Union.
For parking, use the IMU Ramp right across the street, or the North Campus Ramp (building 20 in blue, just east of the river, on this map)

Thursday, October 10

9am-9:15amarrive at Michigan State room hover on titles to see abstracts
9:15am-9:30amwelcome (Aaron)
9:30am-10:15amPutting 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

5pm shuttle pickup from IMU [let the hotel folks know]

7pm dinner at Backpocket Brewing, Iowa River Landing

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:45pmSplit into groups for lunch
1:45pm-2:30pmOn 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