HomeWorkshopsChinese National Conference on Modern Logic (NCML’17)