Yì N. Wáng's Academic Activities
I served as organizer or PC co-chair of the following events:
- PC chair of the 2nd International Workshop on Logics for the New Generation Artificial Intelligence (LNGAI), Sun Yat-sen University, Zhuhai, China, 10-12 June 2022.
- PC chair of the 4th International Conference on Logic and Argumentation (CLAR), Zhejiang University, Hangzhou, China, 20-22 October 2021.
- PC chair of the 5th Asian Workshop on Philosophical Logic (AWPL), Zhejiang University, Hangzhou, China, 6-7 April 2020.
- PC chair of the 2nd Workshop on Modal Logic, Peking University, Beijing, China, 8-9 December 2018.
- PC chair of the 2nd Chinese Conference on Logic and Argumentation (CLAR), Zhejiang University, Hangzhou, China, June 2018.
- Organizer of the (1st) Chinese Workshop on Modal Logic, Zhejiang University, Hangzhou, China, May 2017.
- Organizer of the 1st Chinese Conference on Logic and Argumentation (CLAR), Zhejiang University, Hangzhou, China, April 2016.
Other events that I have been involved in:
- PC member of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), Detroit, Michigan, USA, 19-23 May 2025.
- PC member of the 7th Asian Workshop on Philosophical Logic (AWPL), Jadavpur University, Kolkata, India, 6-8 February 2025.
- PC member of the 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), Kyoto University, Kyoto, Japan, 18-24 November 2024.
- PC member of the 18th National Conference on Modern Logic (NCML), South China Normal University, Guangzhou, China, 15-17 November 2024.
- PC member of the 27th European Conference on Artificial Intelligence (ECAI), Santiago de Compostela, Spain, 19-24 October 2024.
- PC member of the 15th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Bayreuth, Germany, 26-28 June 2024.
- PC member of the 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Auckland, New Zealand, 6-10 May 2024.
- PC member of the 6th Asian Workshop on Philosophical Logic (AWPL), Hokkaido University, Sapporo, Japan, 5-6 March 2024.
- PC member of the 9th International Conference on Logic, Rationality and Interaction (LORI), Shandong University, Jinan, China, 26-29 October 2023.
- PC member of the 17th Chinese National Conference on Modern Logic (NCML), Sichuan University, Chengdu, China, 20-23 October 2023.
- PC member of the 26th European Conference on Artificial Intelligence (ECAI), Krakow, Poland, 2-5 October 2023.
- PC member of the 5th International Conference on Logic and Argumentation (CLAR), Zhejiang University, Hangzhou, China, 10-12 September 2023.
- PC member of the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), Valencia, Spain, 16-18 November 2022.
- PC member of the 16th Chinese National Conference on Modern Logic (NCML), Shandong University, Ji'nan, China, 28-30 October 2022.
- PC member of the 14th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Groningen, Netherlands, 20-22 July 2022.
- PC member of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Auckland, New Zealand, 9-13 May 2022.
- PC member of the 36th AAAI Conference on Artificial Intelligence (AAAI), Vancouver, BC, Canada, 22 February - 1 March, 2022.
- PC member of the 15th Chinese National Conference on Modern Logic (NCML), Sun Yat-sen University, Zhuhai, China, 3-5 December 2021.
- PC member of the 1st International Workshop on Logics for the New Generation Artificial Intelligence (LNGAI), Zhejiang University, Hangzhou, China, 18-20 June 2021.
- PC member of the 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), virtual, 18-20 November 2020.
- PC member of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), virtual, 3-7 May 2021.
- PC member of the 35th AAAI Conference on Artificial Intelligence (AAAI), virtual, 2-9 February 2021.
- PC member of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR), Rhodes, Greece, 12-18 September 2020.
- PC member of the 29th International Joint Conference on Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI), Yokohama, Japan, 11-17 July 2020.
- PC member of the 14th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Groningen, Netherlands, 8-10 July 2020, Postponed to 2022.
- PC member of the 34th AAAI Conference on Artificial Intelligence (AAAI), New York, USA, 7-12 February 2020.
- PC member of the 3rd International Conference on Logic and Argumentation (CLAR), Zhejiang University, Hangzhou, China, 6-9 April 2020.
- PC member of the 14th Chinese National Conference on Modern Logic (NCML), Beijing, China, 8-10 November 2019.
- PC member of the 22nd International Conference
on Principles and Practice of Multi-Agent Systems (PRIMA), Torino, Italy, 28-31 October 2019.
- PC member of the 28th International Joint Conference on Artificial Intelligence (IJCAI), Macao, China, 10-16 August 2019.
- PC member of the 7th International Conference on Logic, Rationality and Interaction (LORI), Southwest University, Chongqing, China, 18-21 October 2019.
- PC member of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Montreal, Canada, 13-17 May, 2019.
- PC member of 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), Tempe, Arizona, USA, October 30 - November 2, 2018.
- PC member of the 13th Chinese National Conference on Modern Logic (NCML), Xiamen University, Xiamen, China, 26-28 October 2018.
- PC member of the 4th Asian Workshop on Philosophical Logic (AWPL), Beijing, 20-21 October 2018.
- PC member of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18), Stockholm, Sweden, July 2018.
- PC member of the 13th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Bocconi University, Milano, Italy, 16-18 July 2018.
- PC member & local chair of the 12th Chinese National Conference on Modern Logic (NCML), Zhejiang University, Hangzhou, China, 20-22 October 2017.
- PC member of the 6th International Conference on Logic, Rationality and Interaction (LORI), Hokkaido University, Sapporo, Japan, 11-14 September 2017.
- PC member of the 11th National Conference on Modern Logic (NCML), Southwest University, Chongqing, China, 14-16 October 2016.
- PC member of the 15th International Conference on Autonomous Agents & Multiagent Systems (AAMAS-16), Singapore, 9-13 May 2016.
- PC member of the 24th International Joint Conferences on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina, 25-31 July 2015.
- PC member of the 14th International Conference on Autonomous Agents & Multiagent Systems (AAMAS-15), Istanbul Congress Center, Turkey, 4-8 May 2015.
I have reviewed papers for these conferences and/or journals:
- 2023:
Kybernetes
- 2022:
LOFT,
LNGAI,
ESSLLI StuS,
PRIMA,
NCML
- 2021:
AAAI,
LNGAI,
ESSLLI StuS,
AMAI,
NCML
- 2020:
CLAR,
AWPL,
Synthese,
IJCAI-PRICAI,
KR,
Studies in Logic
- 2019:
AAMAS,
Synthese,
IJCAI,
ESSLLI StuS,
LORI,
NCML
- 2018:
IJCAI-ECAI,
Routledge,
LOFT,
AWPL,
KR,
Reports on Mathematical Logic,
Studies in Logic,
Special Issue for Strategic Reasoning 2017,
AIJ,
NCML
- 2017:
TARK,
LORI,
NCML
- 2016:
AAMAS,
KR,
ESSLLI student session,
NCML,
Studies in Logic
- 2015:
Journal of Logic and Computation,
AAMAS,
ESSLLI student session,
TARK,
NCML,
IJCAI,
Studies in Logic
- 2014:
AAMAS,
Studies in Logic,
AAAI,
ECAI,
ESSLLI student session,
ICLA,
EUMAS,
Studia Logica
- 2013:
TARK,
SR,
IJCAI,
CLIMA,
LORI,
Studies in Logic
- 2012:
KR,
ECAI,
Synthese,
EASLLC student session,
JELIA
- 2011:
TARK,
M4M
Student Events / Mentoring
- PC member of the ESSLLI 2022 Student Session
- PC member of the ESSLLI 2020 Student Session (Postponed to 2021)
- PC member of the ESSLLI 2019 Student Session (Riga, Latvia, August 2019)
- PC member of the ESSLLI 2018 Student Session (Sofia, Bulgaria, August 2018)
- PC member of the ESSLLI 2017 Student Session (Toulouse, July 2017)
- PC member of the ESSLLI 2016 Student Session (Bolzano, August 2016)
- PC member of the ESSLLI 2015 Student Session (Barcelona, August 2015)
- PC member of the ESSLLI 2014 Student Session (Tübingen, August 2014)
- Chair of the student session of the Second East-Asian School on Logic, Language and Computation (Chongqing, August 2012)
Research Projects and Funding
- 主持:
- 2024.09.12 - 2027.12.31 教育部人文社会科学研究规划基金项目:“基于加权模型的模态逻辑研究”(24YJA72040002)
- 2021.01 - 2025.12 国家社科基金重大项目“新一代人工智能驱动的逻辑学研究”(20&ZD047)子课题:“经典非单调逻辑的新发展”
- 2018.06.12 - 2019.06.12 浙江大学“董氏文史哲研究奖励基金”(第25届)出版资助
- 2016.06.30 - 2019.12.31 Youth Project of National Social Science Fund of China (国家社科基金青年项目“多层次社会网络的逻辑研究”(16CZX048))
- 2015.06.12 - 2016.06.12 浙江大学“董氏文史哲研究奖励基金”(第22届)出版资助
- 2014.09.23 - 2016.09.22 Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry (教育部留学回国人员科研启动基金,[2014]1685号)
- 2007-2008 联校教育社科医学研究论文奖计划 (ZX07002)
- 参与:
- 2018 Major Project of National Social Science Foundation of China (国家社科基金重大项目“汉语隐喻的逻辑表征与认知计算”)(18ZDA290)
- 2017 - 2021 Major Project of National Social Science Foundation of China (国家社科基金重大项目“基于社交网络的信息流逻辑研究”) (17ZDA026)
- 2014 Major Project of National Social Science Foundation of China (国家社科基金重大项目“应用逻辑与逻辑应用研究”) (14ZDB014)
- 2012 Major Project of National Social Science Foundation of China (国家社科基金重大项目“基于逻辑视域的认知研究”) (11&ZD088)
Awards, Scholarships and Grants
- June 2017   第二十四届浙江大学“董氏文史哲研究奖励基金”著作奖
- July 2009   "Outstanding PhD Graduate" award at Peking University
- Oct 2007   Scholarship for studying abroad from China Scholarship Council (CSC)
- 2007-2009   Doctoral Dissertation Funding from Comparative Education Research Center of Beijing Normal University
- Apr 2007   UNICORN Library Cataloging Certificate from Library of Peking University
- 2005-2006   QiangHua Scholarship at Philosophy Department, Peking University
- 2003-2004   Postgraduate Scholarship at Renmin University of China
- Sept 2002   National Computer Rank Examination Certificate (Grade 4) from National Education Examinations Authority of The ministry of Education of China
- 2000-2001   Annual scholarship at University of Science and Technology of China
- 1999-2000   Annual scholarship at University of Science and Technology of China
Presentations / Academic Dissemination
(Please contact me if you want to see some of the slides.)
- 2024-11-03 “Bullshitology: A Logical Perspective”, presentation for Beijing Forum, Peking University, Beijing, China
- 2024-10-25 “Similarity Metrics: A Logical Analysis”, Institute of Philosophy, Chinese Academy of Sciences, China.
- 2024-10-19 “Dialogical Modal Logic”, presentation for the Workshop on Logic and Games, Jinci Hotel, Taiyuan, China
- 2024-07-14 “A Logical Analysis of the Generation of Bullshit”, Xiamen University, Xiamen, China
- 2024-06-19 “Epistemic Skills”, presentation for GandALF, Reykjavik University, Iceland
- 2024-06-15 “Field Knowledge as a Dual to Distributed Knowledge”, presentation for LNGAI, Zhejiang University, Hangzhou, China
- 2024-06-06 “A Logical Analysis of Bullshitting”, Southwest University, Chongqing, China
- 2024-05-15 “What is Brought to Us When We Introduce Weights into Kripke Semantics?”, Shanxi University, Taiyuan, China
- 2023-11-27 “Logic and Games of Social Structural Balance”, Nanjing University, Nanjing, China
- 2023-11-21 “Weighted Models for Modal Logic”, Nanjing University, Nanjing, China
- 2023-11-21 “Nichts wert als die Form”, Nanjing University, Nanjing, China
- 2023-11-05 “Social Network Representation and Reasoning: From the Viewpoint of Structural Balance Theory”, Shanxi University, Taiyuan, China
- 2023-10-10 “Epistemic Logic over Weighted Models”, Nankai University, Tianjin, China
- 2023-07-10 "Logic of Structural Balance", South-West University, Chongqing, China
- 2023-07-10 "Weighted Models in Epistemic Logic", South-West University, Chongqing, China
- 2023-06-15 "All things in the whole wide world happen mathematically", Sun Yat-sen University, Guangzhou, China
- 2023-04-27 "Weighted Models for Modal Logic", Department of Philosophy, Sichuan University, Chengdu, China
- 2023-03-31 "Weighted Models for Structural Balance", Department of Philosophy, Wuhan University, Wuhan, China
- 2022-11-24 "Theory, Methods and Applications in Philosophical Logics", Department of Philosophy (Zhuhai), Sun Yat-sen University, Zhuhai, China
- 2022-11-11 "Epistemic Logic via Distance and Similarity", Online presentation for The 19th Pacific Rim International Conference on Artificial Intelligence (PRICAI'22), Shanghai, China
- 2021-10-17 "Weighted Modal Logic in Epistemic and Deontic Contexts", presentation for LORI-VIII, Xi'an Jiaotong University, Xi'an, China
- 2021-10-17 "Social Structural Balance: Logics, games and computation", Xi'an Jiaotong University, Xi'an, China
- 2021-09-14 "Group Belief", Peking University, Beijing, China
- 2021-09-13 "Structural Stability and Balance of Networks", Beijing Normal University, Beijing, China
- 2021-06-19 "New Trends in Nonmonotonic Logic?", Zhejiang University, Hangzhou, China
- 2021-01-15 "Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory", IJCAI-PRICAI 2020, virtual
- 2020-12-06 "Simpler Completeness Proofs for Modal Logics with Intersection", Workshop on Modal Logic, Beijing Normal University, Zhuhai, China
- 2020-10-25 "Group Knowledge in Epistemic Logic", Sun Yat-sen University, Guangzhou, China
- 2020-10-09 "A New Completeness Technique for Modal Logics with Intersection", DaLi workshop, Online
- 2020-01-29 "Logical Dynamics of Social Balance", University of Luxembourg
- 2019-11-17 "Group Knowledge in Dynamic Epistemic Logic", Institute of Logic and Intelligence, Southwest University, Chongqing, China
- 2019-11-17 "Logical Dynamics of Social Balance", CACML2019, Southwest University, Chongqing, China
- 2019-10-18 "Who Should Be My Friends? Social balance from the perspective of game theory", LORI-VII, Southwest University, Chongqing, China
- 2019-03-22 "Group Knowledge in Dynamic Epistemic Logic", Tsinghua University, Beijing, China
- 2019-01-14 "Logics of allies and enemies: a formal approach to the dynamics of social balance theory", Seminar on Logics for Human-machine Interaction and Integration, Zhejiang University, Hangzhou, China
- 2018-07-16 "A Logic of Allies and Enemies", LOFT, Bocconi University, Milan, Italy
- 2018-07-02 "Logical Aspects of Social Balance Theory", Xixi Logic Seminars, Zhejiang University, Hangzhou, China
- 2016-10-22 "Modal Logic of Subset Spaces", Delta 4th Workshop on Logic, Nanjing University, China
- 2016-10-14 "Writing a Logic Paper in LaTeX", NCML'16, Southwest University, Chongqing, China
- 2016-09-30 "Writing a Logic Paper in LaTeX", Xixi Logic Seminars, Zhejiang University, Hangzhou, China
- 2016-06-08 "Two types of models for knowledge update", Fudan University, Shanghai, China
- 2015-06-27 "A Logic of Knowledge in the Mandarin Chinese Setting", National Logic Workshop, Hebei University, China
- 2015-04-25 "Resolving Distributed Knowledge", Zhejiang University, China
- 2015-01-20 "Modal Logic and Argumentation Mining", First Xixi Workshop on Argumentation Mining, Xixi campus cafe bar, Zhejiang University, China
- 2014-10-13 "Multi-Agent Subset Space Logic", LORIA, Nancy, France
- 2013-12-14 "Neighborhood Changes in Subset Spaces", Sun Yat-Sen University, Guangzhou, China
- 2013-10-19 "Epistemic Logic of Agent Update", "A Door to Logic": a Meeting on Logic, Language, and Translation, Tsinghua University, Beijing, China
- 2013-10-10 "Public Announcements, Private Actions and Common Knowledge in S5 Structures", LORI-IV, Hangzhou, China
- 2013-08-02 "Preference Logic of Focus Change", 2nd International Conference on Agreement Technologies, Beijing, China
- 2013-06-10 "Chinese Logic: Its History and Connections to Contemporary Logic", trial lecture, University of Bergen, Norway
- 2013-05-11 "Preference Logic of Focus Change", in Room 346, Xinzhai, Tsinghua University, Beijing, China
- 2013-04-20 "Knowledge, Awareness, and Bisimulation", in LII-seminar, Room 614, Faculty of Social Sciences, University of Bergen, Norway
- 2012-10-29 "Epistemic Logic in Subset Semantics", in Zhejiang University, China
- 2012-10-28 "Public Announcement Logic of Subset Spaces", in Room 2306, Natural Science Building #2, Peking University, Beijing, China
- 2012-03-12 "Subset Space Logic", in Faculty of Philosophy, University of Sevilla, Spain
- 2011-10-15 "Dynamic Epistemic Logic with Distributed Knowledge", Southwest University, Chongqing, China
- 2011-10-12 "Public Announcement Logic with Distributed Knowledge", in LORI-III, Sun Yat-sen University, Guangzhou, China
- 2011-10-08 "Dynamic Epistemic Logic and Distributed Knowledge", in the workshop of Logic Dynamics: New trends and interfaces, Peking University, Beijing, China
- 2011-06-15 "Dynamic Epistemic Logic with Distributed Knowledge", PhD mid-term evaluation, University of Bergen, Norway
- 2011-04-08 "Public Announcement Logics", in the annual Student Conference Fjordslottet, Fotlandsvåg, Norway
- 2011-03-23 "History-Based Epistemic Logic of Communication Graphs", in the DISTECH lunch meeting, Bergen University College, Norway
- 2010-04-22 "Expressivity of Epistemic Logics", in the annual Student Conference Fjordslottet, Fotlandsvåg, Norway
- 2009-11-18 "My Research and Me", in the DISTECH meeting, Voss, Norway
- 2009-09-29 "Public Announcement Logic", in the weekly department meeting, Bergen University College, Norway
- 2009-01-10 "A two-dimensional hybrid logic of subset spaces", IMSc, Chennai, India
- 2008-12-23 "Hybrid Logic of Space", in Southwest University, Chongqing, China
- 2008-08-23 "Hybrid Logic and Topologic", in North Island Logic Forum, Rm314, Philosophy Department, The University of Auckland, New Zealand
- 2007-05 "Summary of Theoretical Research of Description Logics", in the Seminar of Modern Logic Issues in Peking University, Beijing, China
Research stays
- 2020.01.21 - 2020.03.31: Department of Computer Science, University of Luxembourg, Luxembourg
- 2017.11.21 - 2018.11.20: Department of Computer Science, University of Liverpool, UK
- 2014.10.24 - 2014.11.11: Department of Information Science and Media Studies, University of Bergen, Norway
- 2014.10.01 - 2014.10.23: Loria, University of Lorraine, Nancy, France
- 2012.03 - 2012.05: Visiting research fellow, Department of Philosophy and Logic and Philosophy of the Science, University of Seville, Spain
- 2009.07 - 2013.06: Department of Computing, Mathematics and Physics, Bergen University College, Norway
- 2007.10 - 2009.04: Honorary research associate, Department of Philosophy, University of Auckland, New Zealand