HomeZJU EventsGroup MeetingsHaiyan Zhou: Logic in the community [2016-06-22]