Live Session 2 A Proof Theory for Distributed Evidential Transactions Event Timeslots (1) Live Session 2 4:00 pm - 4:30 pm by Vivek Nigam hbasold