On Modeling Ensemble

Jason and I will give parts of our upcoming DARPA talk on using IO Automata to model Ensemble stacks.

Jason will talk about his work with Mark Bickford.

I will remind us about intersction types and dependent records and describe progress on the DARPA grant so far.