Service
2026
Program Co-chair of the 10th Women in Logic workshop (WiL 2026), 24-25 July, 2026.
2025
Program committee of the 38th International Conference on Legal Knowledge and Information Systems (JURIX 2025), Turin, 9-11th of December 2025.
Program committee of the 5th International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2025), Luxembourg, December 2025.
Program committee of the 19th National Conference on Modern Logic 2025 (NCML 2025), Shanghai, China, 7-9 November 2025.
Program committee of the 4th International Workshop on Logic and Philosophy: Social Norms: Logical Structures and Philosophical Foundations, Beijing, China, 1-2 November 2025.
Program committee of the 28th European Conference on Artificial Intelligence (ECAI-2025), Bologna, Italy, 25-30 October 2025.
Program committee of the 9th International Workshop on Juris-informatics (JURISIN 2025), Osaka, Japan, 26-28 May 2025.
Program committee of the 6th International Conference on Logic and Argumentation (CLAR 2025), Taiyuan, Shanxi, China, 14-16 June 2025.
Program committee of the 17th International Conference on Deontic Logic and Normative Systems (DEON 2025), Vienna, Austria, 30 June - 3 July 2025.
Program committee of the 34th International Joint Conference on Artificial Intelligence (IJCAI-25), Montreal, Canada, 16-22 August 2025.
Program committee of the 10th International Conference on Logic, Rationality, and Interaction (LORI-10), Xi'an, China, 16-19 October 2025.
Program committee of the 30th International Conference on Automated Deduction (CADE-30), Stuttgart, Germany, 1-2 August 2025.
Subreviewer of the 41st International Conference on Logic Programming (ICLP25), Rende, Italy, 12-19 September 2025.
Subreviewer of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, 11-17 November 2025.
Subreviewer of the 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025), Modena, Italy, 16-19 December 2025.
Journal referees of Journal of Logic and Computation, Journal of Philosophical Logic, and Journal of Artificial Intelligence Research.
2024
Co-organizer, the special track of “Logic and Reasoning for XAI”, the 2nd World Conference on Explainable Artificial Intelligence, Valletta, Malta, 17-19 July 2024.
Program committee of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'25), Detroit, Michigan, USA, 19–23 May 2025.
Program committee of the 11th Indian Conference on Logic and its Applications (ICLA'25), Kolkata, India, 3-5 February 2025.
Program committee of the 18th National Conference on Modern Logic 2024 (NCML'24), Guangzhou, China, 15-17 November 2024.
Program committee of the 4th International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI'24), Hangzhou, China, 15-16 June 2024.
Program committee of the 35th European Summer School in Logic, Language and Information (ESSLLI'24) Student Session, Leuven, Belgium, 29 July-5 August 2024.
Reviewer of the 37th International Conference on Legal Knowledge and Information Systems (JURIX 2024), Brno, Czech Republic, 11-13 December 2024.
Journal referees of Journal of Philosophical Logic, Journal of Applied Logics — IfCoLog Journal of Logics and their Applications.
2023
Keynote of the 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), Trois-Rivières, Canada, 5-7 July 2023.
Program committee of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Auckland, New Zealand, 6-10 May 2024.
Program committee of the 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), Trois-Rivières, Canada, 5-7 July 2023.
Program committee of European Summer School in Logic, Language and Information (ESSLLI 2023), Ljubljana, Slovenia, 31 July - 11 August 2023.
Program committee of International Workshop on Logic, AI and Law (LAIL 2023), Hangzhou, China, 11-12 September 2023.
Program committee of the Third International Workshop on Logics for New-Generation Artificial Intelligence (2023), Hangzhou, China, 8-9 September 2023.
Program committee of the Fifth International Conference on Logic and Argumentation (CLAR 2023), Hangzhou, China, 8-9 September 2023.
Program committee of the 17th National Conference on Modern Logic (NCML 2023), Chengdu, China, 20-22 October 2023.
Reviewer of the 29th Workshop on Logic, Language, Information and Computation (WoLLIC 2023), Halifax, Nova Scotia, Canada, 11-14 July 2023.
Journal referees of Transactions on Computational Logic, Synthese, Journal of Automated Reasoning, and Artificial Intelligence and Law.
2022
Program committee of the International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 7-12, 2022.
Program committee of the Second International Workshop on Logics for New-Generation Artificial Intelligence (2022), Zhuhai, China, June 10-12, 2022.
Program committee of the 16th National Conference on Modern Logic (NCML 2022), Shandong, China, October, 2022.
Reviewer of the 44th Annual Meeting of the Cognitive Science (CogSci 2022), Toronto, Canada, July 27-30, 2022.
Reviewer of the 36th AAAI conference on Artificial Intelligence (AAAI 2022), Virtual, Feburary 22-March 1, 2022.
Reviewer of the International Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2022), Auckland, May 9-13, 2022.
Journal referees of Journal of Logic and Computation, Journal of Artificial Intelligence, and Synthese.
2021
Organizer of DEON seminar series (2021-2023).
Organizer of Shuo-Zhi seminars (2021-2022).
Program committee of the 15th National Conference on Modern Logic, Zhuhai, China, 3-5 December 2021.
Local chair of the Fourth International Conference on Logic and Argumentation (CLAR 2021), Hangzhou, China, 20-22 October 2021.
Program committee of the 4th International Conference on Logic and Argumentation (CLAR 2021), Hangzhou, China, 20-22 October 2021.
Program committee of the 28th International Conference on Automated Deduction (CADE-28), virtual, July 11-16, 2021.
Program committee of the 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/21), Munich, Germany, 21-24 July 2021.
Program committee of the 1st International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021), Hangzhou, China, 18-20 June 2021.
Journal referees of Journal of Logic and Computation, Annals of Mathematics and Artificial Intelligence.
2020
Program committee of the 32nd European Summer School in Logic, Language and Information (ESSLLI 2020) Student Session (Postponed to 2021), virtual, 26 July - 13 August 2021.
Program committee of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), virtual, January 7-15, 2021 .
Program committee of the 5th Asian Workshop on Philosophical Logic (AWPL 2020), virtual, 26 October, 30 October, and 2 November 2020.
Program chair of the 3rd International Conference on Logic and Argumentation (CLAR 2020) , virtual, 26 October, 30 October, and 2 November 2020.
Local chair of the International Conferences on Logic and Artificial Intelligence at Zhejiang University (ZJULogAI 2020), virtual, 26 October, 30 October, and 2 November 2020.
Journal referees of IEEE Transactions on Affective Computing, Roczniki Filozoficzne, Logic and Logical Philosophy, Organon F.
2019
Program committee of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, 10-16 August 2019.
Program committee of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), Montreal, Canada, 13-17 May 2019.
Subreviewers of JURIX 2019, PRIMA 2019.
Project and Funding
Project Leader of Research Epistemology of Causation: Theory and Application (supported by the Fundamental Research Funds for the Central Universities, Sun Yat-sen University, No. 20221187), 2022.
Project Leader of Research Deontic Logics Towards Social Interaction (supported by the National Social Science Fund of China, No. 20CZX051), 2020-2023 (completed in July 2022, evaluated as excellent, top 5%).
Project Leader of Research Deontic Logics of Social Information (supported by the China Postdoctoral Science Foundation, No. 2018M632494), 2018-2020 (Completed).
Member of Research Studying Concepts and Reasoning in Socio-Cultural Perspective, supported by Key Research Institute of Humanities and Social Sciences at Universities, Chinese Ministry of Education (No. 22JJD720021), 2023-2025.
Member of Research Logics for New Generation Artificial Intelligence, supported by Key Program of the National Social Science Foundation of China (No. 20&ZD047), 2021-2025.
Member of Research DEontic Logic for Epistemic rIGHTs (supported by Fonds Notional de la Recherche Luxembourg), 2021-2024.
Member of Research Logical Representation and Cognitive Computing on Metaphors in Chinese (supported by the National Social Science Fund of China, No. 18ZDA290), 2018-2022.
Member of Project “Deontic logic for autonomous cars” funded by the National Science Centre of Poland [No. UMO-2017/26/M/HS1/01092].
Member of Research Logic and Cognition in Social Norms (supported by the MOE Project of Key Research Institute of Humanities and Social Sciences in Universities, No. 17JJD720008), 2017-2020.
Member of Research Logics of Information Flow in Social Networks (supported by the National Social Science Fund of China, No. 17ZDA026), 2017-2020.
Member of Research Logics of Cooperation in Networks (supported by the National Social Science Fund of China, No. 16AZX017), 2016-2019.
Member of Research Permissions, Information and Institutional Dynamics, Obligations, and Rights (supported by DFG-NCN program “Beethoven”, No. RO 4548/4-1), 2016-2018.
Member of Research Formal Studies of Communication in Cross-Culture (supported by Humanities and Social Sciences Foundation of Ministry of Education of China, No.12JJD720005), 2012-2015.
Member of Research Update Semantics and Dynamic Epistemic Logic (supported by National Social Science in China, No.08BZX050), 2008-2010.
Academic Visit
Department of Computer Science, Utrecht University, the Netherlands (2021), supported by the Human-centered AI program, Utrecht University.
Department of Computer Science, University of Luxembourg, Luxembourg (from 4 November 2019 to 6 January 2020), supported by ILIAS, University of Luxembourg.
Faculty of Philosophy, the John Paul II Catholic University of Lublin, Poland (from 23 September to 10 October 2018), supported by project “Deontic logic for autonomous cars” funded by the National Science Centre of Poland [No. UMO-2017/26/M/HS1/01092].
Faculty of Philosophy, the John Paul II Catholic University of Lublin, Poland (from May 4th to June 1st, 2016), supported by project Permissions, Information and Institutional Dynamics, Obligations, and Rights (supported by DFG-NCN program “Beethoven”).