Recent Work on the Logic of Ground, 5-6 June