Paper of LightKone accepted at ESOP 2020 By Paula RodriguesJanuary 3, 2020January 16, 2020News The paper “Proving the safety of highly-available distributed objects” was accepted at ESOP 2020. The paper was written by our partners from UPMC and the conference will take place in Dublin, Ireland, between 25 and 30 April.