HomeAnnouncementsCommunityDelta 7 Logic Workshop, Beijing, 2017-09-23