HomeZJU EventsGroup MeetingsTalks on Logic and Its Applications