Academic Activities

Service

2024

1. 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.

2. Program committee of the 18th National Conference on Modern Logic 2024 (NCML'24), Guangzhou, China, 15-17 November 2024. 

3. Program committee of the 4th International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI'24), Hangzhou, China, 15-16 June 2024. 

4. Program committee of the 35th European Summer School in Logic, Language and Information (ESSLLI'24) Student Session, Leuven, Belgium, 29 July-5 August 2024. 

2023

1. Keynote of the 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), Trois-Rivières, Canada, 5-7 July 2023.

2. Program committee of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Auckland, New Zealand, 6-10 May 2024. 

3. Program committee of the 16th International Conference on Deontic Logic and Normative Systems (DEON 2023), Trois-Rivières, Canada, 5-7 July 2023.

4. Program committee of European Summer School in Logic, Language and Information (ESSLLI 2023), Ljubljana, Slovenia, 31 July - 11 August 2023. 

5. Program committee of International Workshop on Logic, AI and Law (LAIL 2023), Hangzhou, China, 11-12 September 2023. 

6. Program committee of the Third International Workshop on Logics for New-Generation Artificial Intelligence (2023), Hangzhou, China, 8-9 September 2023.

7. Program committee of the Fifth International Conference on Logic and Argumentation (CLAR 2023), Hangzhou, China, 8-9 September 2023.

8. Program committee of the 17th National Conference on Modern Logic (NCML 2023), Chengdu, China, 20-22 October 2023.

9. Reviewer of the 29th Workshop on Logic, Language, Information and Computation (WoLLIC 2023), Halifax, Nova Scotia, Canada, 11-14 July 2023.

10. Journal referees of Transactions on Computational Logic, Synthese, Journal of Automated Reasoning, and Artificial Intelligence and Law.

2022

1. Program committee of the International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 7-12, 2022. 

2. Program committee of the Second International Workshop on Logics for New-Generation Artificial Intelligence (2022), Zhuhai, China, June 10-12, 2022. 

3. Program committee of the 16th National Conference on Modern Logic (NCML 2022), Shandong, China, October, 2022. 

4. Reviewer of the 44th Annual Meeting of the Cognitive Science (CogSci 2022), Toronto, Canada, July 27-30, 2022.  

5. Reviewer of the 36th AAAI conference on Artificial Intelligence (AAAI 2022), Virtual, Feburary 22-March 1, 2022. 

6. Reviewer of the International Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2022), Auckland, May 9-13, 2022. 

7. Journal referees of Journal of Logic and Computation, Journal of Artificial Intelligence, and Synthese. 

2021

1. Organizer of DEON seminar series (2021-now).

2. Organizer of Shuo-Zhi seminars (2021-now). 

3. Program committee of the 15th National Conference on Modern Logic, Zhuhai, China, 3-5 December 2021.

4. Local chair of the Fourth International Conference on Logic and Argumentation (CLAR 2021), Hangzhou, China, 20-22 October 2021.

5. Program committee of the 4th International Conference on Logic and Argumentation (CLAR 2021), Hangzhou, China, 20-22 October 2021.

6. Program committee of the 28th International Conference on Automated Deduction (CADE-28), virtual, July 11-16, 2021.

7. Program committee of the 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/21), Munich, Germany, 21-24 July 2021.

8. Program committee of the 1st International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021), Hangzhou, China, 18-20 June 2021.

9. Journal referees of Journal of Logic and Computation, Annals of Mathematics and Artificial Intelligence.

2020

1. 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.

2. Program committee of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), virtual, January 7-15, 2021 .

3. Program committee of the 5th Asian Workshop on Philosophical Logic (AWPL 2020), virtual, 26 October, 30 October, and 2 November 2020.

4. Program chair of the 3rd International Conference on Logic and Argumentation (CLAR 2020) , virtual, 26 October, 30 October, and 2 November 2020.

5. 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.

6. Journal referees of IEEE Transactions on Affective Computing, Roczniki Filozoficzne, Logic and Logical Philosophy, Organon F.

2019

1. Program committee of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, 10-16 August 2019.

2. Program committee of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), Montreal, Canada, 13-17 May 2019.

3. Subreviewers of JURIX 2019, PRIMA 2019.

Project and Funding

1. 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. 

2. 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%).

3. Project Leader of Research Deontic Logics of Social Information (supported by the China Postdoctoral Science Foundation, No. 2018M632494), 2018-2020 (Completed).

4. 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.

5. 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.

6. Member of Research DEontic Logic for Epistemic rIGHTs (supported by Fonds Notional de la Recherche Luxembourg), 2021-2024.

7. 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.

8. Member of Project “Deontic logic for autonomous cars” funded by the National Science Centre of Poland [No. UMO-2017/26/M/HS1/01092].

9. 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.

10. Member of Research Logics of Information Flow in Social Networks (supported by the National Social Science Fund of China, No. 17ZDA026), 2017-2020.

11. Member of Research Logics of Cooperation in Networks (supported by the National Social Science Fund of China, No. 16AZX017), 2016-2019.

12. Member of Research Permissions, Information and Institutional Dynamics, Obligations, and Rights (supported by DFG-NCN program “Beethoven”, No. RO 4548/4-1), 2016-2018.

13. 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.

14. Member of Research Update Semantics and Dynamic Epistemic Logic (supported by National Social Science in China, No.08BZX050), 2008-2010.

Academic Visit

1. Department of Computer Science, Utrecht University, the Netherlands (2021), supported by the Human-centered AI program, Utrecht University.

2. Department of Computer Science, University of Luxembourg, Luxembourg (from 4 November 2019 to 6 January 2020), supported by ILIAS, University of Luxembourg.

3. 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].

4. 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”).

Presentation

1. The Varieties of “Most of”. The kickoff workshop of project INTEGRAUTO. Trois-Rivières, Canada, 11-12 July 2023.

2. Resolving the Paradox of Free Choice Permission: A Semantic Approach. Keynote Talk at DEON 2023. Trois-Rivières, Canada. 5-7 July 2023.

3. Rights and Practical Reasoning in Deontic Logic. DEON 2023. Trois-Rivières, Canada. 5-7 July 2023.

4. 面向霍菲尔德法权的逻辑与计算. “多主体系统中的逻辑”研讨会. 北京师范大学，北京. 2022 年 12月 18 日.

5. Logic and Computation of Hohfeldian Rights. The Logic Seminar at the Peking University. Peking University, Beijing, 2 Novermber 2022.

6. 面向霍菲尔德法权的逻辑与计算. 中国逻辑学会法律逻辑专业委员会第 30 届学术研讨会. 甘肃政法大学，兰州. 2022 年 9 月 24 日.

7. Dynamic Logic of Legal Competences. The Seminar on Law and Logic: The Hohfeld Legal Theory. Beijing Normal University, Beijing, 8-9 January 2022.

8. Weighted Modal Logic in Epistemic and Deontic Contexts. DELIGHT kick-off meeting. University of Luxembourg, Online, 1 December, 2021.

9. A Modal Logic of Defeasible Reasoning. the 1st International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021). Zhejiang University, Hangzhou, China, 18-20 June 2021.

10. Kratzer Style Deontic Logics in Formal Argumentation. Seminar in Semantics: Conditionals (LINGUIST 236). Stanford University, Online, March 18th, 2021.

11. Deontic Logic and its Applications. Xixilogic Seminar. Zhejiang University, Hangzhou, China, 28 December 2020.

12. Logic of Defeasible Permission and its Dynamics. Workshop on Logics of Agency, Counterfactuals and Norms. University of Amsterdam, Online, 14 December 2020.

13. Logic of Defeasible Permission and its Dynamics. Workshop on Modal Logic. Beijing Normal University (Zhuhai), Zhuhai, 5-6 December 2020.

14. Logic of Defeasible Permission and its Dynamics. Online Workshop on Argumentation and Conflict Resolution “Agree to Disagree 2020”. University of Luxembourg, Luxembourg, Online, 10 Novermber 2020.

15. Modal Logic of Permission and Normality. Fudan Logic Seminar. Fudan University, Shanghai, Online, 16 October 2020.

16. Logic of Legal Rights and Normative Positions. Course “Ethical and Legal Challenges of AI and Data Science”, Freie Universität Berlin, Online, 22 September 2020.

17. Kratzer Style Deontic Logics in Formal Argumentation. The 18th International Workshop on Non-Monotonic Reasoning. Rhodes, Greece, Online, 12-14 September 2020.

18. 法权与道义逻辑. 武汉大学法学院《法学方法》在线课程. 武汉大学, 武汉. 2020 年6 月1 日.

19. Subset Spaces for Conditional Norms. ILIAS seminar. University of Luxembourg, Luxembourg. 27 November 2019.

20. Subset Spaces for Conditional Norms. PRIMA 2019. Torino, Italy. 28-31 October 2019.

21. From Classical to Non-Monotonic Deontic Logic using ASPIC+. LORI-VII. Chongqing, China. 18-21 October 2019.

22. Subset Spaces for Conditional Norms. Tsinghua University, Beijing. 28 September 2019.

23. 法权与规范地位的形式研究. 西南大学计信院前沿学术报告. 西南大学, 重庆. 2019 年7 月2 日.

24. 道义逻辑概述. 西南大学计信院前沿学术报告. 西南大学, 重庆. 2019 年7 月1 日.

25. Norms in Social Networks. Workshop on Modal Logic. Pecking University, Beijing, China. 22 June 2019.

26. From Classical to Non-Monotonic Deontic Logic using ASPIC+. Beijing Normal University, Beijing, China. 21 June 2019.

27. Permission within Ceteris Paribus. The 9th International Conference on Computability Theory and Foundations of Mathematics (CTFM 2019). Wuhan, China. 21-27 March 2019.

28. 基于社会交互的动态道义逻辑. Invited Lecture. Hangzhou, China, 13 March 2018.

29. Permission within Ceteris Paribus. Seminar on Logics for Human-machine Interaction and Integration, Hangzhou, China, 14 January 2019.

30. Permission within Ceteris Paribus. PIOTR project meeting. Bayreuth, Germany, 14-15 December 2018.

31. Reasons to Scale Permission. Seminar at the Institute of Philosophy, Czech Academy of Sciences, Prague, Czech Republic, 10 December 2018.

32. Permission and Obligation within Ceteris Paribus. The International Symposium on Logic and Uncertainty“Logic and Philosophy: a Multi-Agent Perspective”(ISLU 2018), Sun Yat-Sen University, Guangzhou, China, 12-14 November 2018.

33. 其他条件不变下的许可与义务（Permission and Obligation within Ceteris Paribus）. 全国现代逻辑学术研讨会. Xiamen University, Xiamen, China. 27-28 October 2018.

34. The Dynamic Effect of Ceteris Paribus on Permission (and Obligation). The 4th Asian Workshop on Philosophical Logic, Tsinghua University, Beijing, China, 20-21 October 2018.

35. 在其他条件不变下的许可与义务（Permission and Obligation within Ceteris Paribus）. Hangzhou, China, 16 October 2018.

36. Dynamic logic of Legal Competences. Lublin, KUL, Poland. 3 October 2018.

37. Permission and Obligation in Groups. 2nd Polish-Chinese Workshop, Toru´ n, Poland, 28 September 2018.

38. The Dynamic Effect of Ceteris Paribus on Permission. The 9th Conference on Non-Classical Logic “Theory and Applications”, Toru´ n, Poland, 24-27 September 2018.

39. Dynamic Logic of Power and Immunity. The 2018 Chinese Mathematical Logic Conference, Qiannan Normal University for Nationalities, Duyun, China, May 11-13th, 2018.

40. A Dynamic Logic of Norms in Games. Kick-off Workshop for the Project Logics of Information Flow in Social Networks, Tsinghua University, Beijing, May 4-5th, 2018.

41. A Variety of Permissions in Prioritized Default Theory. The 1st Chinese-Polish Workshop on Applied Logic, Beijing Normal University, Beijing, China, December 9-10th, 2017.

42. A Variety of Permissions in Prioritized Default Theory. The Non-Classical Modal and Predicate Logics, Sun Yat-Sen University, Guangzhou, China, December 4-7th, 2017.

43. Free Choice Permission within Open Reading. The 12th Chinese National Conference on Modern Logic, Zhejiang University, Hangzhou, China, October 21-22nd, 2017.

44. Dynamic Logic of Power and Immunity. The 6th International Workshop on Logic, Rationality and Interaction, Hokkaido University, Sapporo, Japan, September 14th, 2017.

45. Dynamic Logic of Power and Immunity. The Xixi LogicWorkshop, Zhejiang University, Hangzhou, China, June 5th, 2017.

46. The Variety of Permissions in Prioritized Default Theory. The 3rd PIOTR Project Workshop, Universität Bayreuth, Bayreuth, Germany, February 21-22nd, 2017.

47. Open Reading for Free Choice Permission: A Perspective from Substructural Logics. Nonclassical Logics and Their Applications: The 8th InternationalWorkshop on Logic and Cognition (WOLC 2016), Sun Yat-Sen University, Guangzhou, China, December 5th-9th, 2016.

48. Open Reading for Free Choice Permission: A Perspective from Substructural Logics. Colloquium Logicum 2016, Universität Hamburg, Hamburg, Germany, September 12th, 2016.

49. Permissions and Obligations in Default Theory. Tsinghua-Bayreuth Workshop, Beijing, China, August 9th, 2016.

50. Open Reading for Free Choice Permission: A Perspective from Substructural Logics. Tsinghua- Bayreuth Workshop, Beijing, China, August 8th, 2016.

51. Open Reading for Free Choice Permission: A Perspective from Substructural Logics. “Five Years MCMP: Quo Vadis, Mathematical Philosophy?” Workshop, Munich, Germany, June 2nd, 2016.

52. Open Reading for Free Choice Permission: A Perspective from Substructural Logics. 21st Conference Applications of Logic, Szklarska Por˛ eba, Poland, May 9-13th, 2016.

53. Conditionals in Deontic Actions: Free Choice Permission with Substructural Logics. Kick-off Seminar, Lublin, Poland, February 17th, 2016.

54. Interpret Deontic Actions by Ternary Relation. Logic in Progress, Bayreuth, December 1st, 2015.

55. Ternary Interpretations For Deontic Actions. Deontic Logic and Ethics 2015, Venice Seminar 2015, Venice, November 25th, 2015.

56. Ternary Interpretations For Deontic Actions. Jin Yuelin Conference on Dao, Logic and Epistemology, Beijing, October 19th, 2015

57. A Substructural Logic for Free Choice Permission in Partial Interpretation. Formal Ethics 2015, Bayreuth, July 4th, 2015.

58. Permission on Deontic Action Logics in Open Reading. The 1st Deontic Logic Event of the Polish-Bavaria Group, Bayreuth, Germany, November 4th, 2014.

59. Stratified Action Negation, and Its Application. The 11st Conferencen Logic and the Foundations of Game and Decision Theory, LOFT 2014, Bergen, Norway, July 27-30th, 2014.

60. Open Reading without Free Choice. The 12th International Conference on Deontic Logic and Normative Systems (DEON 2014), DEON 2014, Gent, Belgium, July 12-15th, 2014.

61. A λ-calculus for Deontic Actions: to Reject Free Choice. The 1st Meeting of the Prague-Munich Group on Sub-Structural Epistemic Logic, Prague, Czech Republic, May 13th, 2014.

62. Open Reading without Free Choice. The 1st Meeting of the Bavaria Deontic Group, Bayreuth, Germany, March 5th, 2014.

63. A Deontic Action Logic for Complex Actions. The 4th International Workshop on Logic, Rationality and Interaction, LORI 2013, Hangzhou, China, October 9-12th, 2013.