Founder and Organizer, Online Lecture Series on Logic and Philosophy, Wuhan University (2020.09-Present). YouTube Channel
Founder and Main Organizer, International Workshop on Gödel's Incompleteness Theorems: Celebrating the 90th year after the publication of Gödel's incompleteness theorems (2021.08)
Organizing Committee Member, The international BIRS-IASM Workshop: New Frontiers in Proofs and Computation, Institute for Advanced Study in Mathematics, Hangzhou, China (2021.09)