Correctness Conditions for Cross-chain Transactions Maurice Herlihy, Brown University November 03 12:30 pm Computer Science Building, Auditorium 105 See event website for additional details and how to view or participate.