HomeZJU EventsWorkshopsChinese National Conference on Modern Logic (NCML’17)