Yì N. Wáng's Academic Activities

Events that I have been involved in:

PC member of 15th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2024) (Bayreuth, Germany, 26-28 June 2024)
PC member of 27th European Conference on Artificial Intelligence (ECAI 2024) (Santiago de Compostela, Spain, 19-24 October 2024)
PC member of The 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024) (Auckland, New Zealand, 6-10 May 2024)
PC member of 6th Asian Workshop on Philosophical Logic (AWPL 2024) (Kokkaido University, Sapporo, Japan, 5-6 March 2024)
PC member of 9th International Conference on Logic, Rationality and Interaction (LORI-IX) (Jinan, China, 26-29 October 2023)
PC member of 26th European Conference on Artificial Intelligence (ECAI 2023) (Krakow, Poland, 2-5 October 2023)
PC member of The 5th International Conference on Logic and Argumentation (CLAR 2023) (Hangzhou, P.R. China, 10-12 September 2023)
PC member of The Sixteenth National Conference on Modern Logic (NCML 2022) (Ji'nan, P.R. China, 28-30 October 2022)
PC member of The 24th International Conference on Principles and Practice of Multi-Agent Systems(PRIMA 2022) (Valencia, Spain, 16-18 November 2022)
PC member of The 14th Conference on Logic and the Foundations of Game and Decision Theory (LOFT2022) (Groningen, Netherlands, 20-22 July 2022)
PC chair of The Second International Workshop on Logics for the New Generation Artificial Intelligence (LNGAI 2022) (Zhuhai, China, 10-12 June 2022)
PC member of 21st International Conference on Autonomous Agents and Multiagents Systems (AAMAS-2022) (Auckland, New Zealand, 9-13 May 2022)
PC member of The Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22) (Vancouver, BC, Canada, 22 February - 1 March, 2022)
PC member of The Fifteenth National Conference on Modern Logic (NCML 2021) (Zhuhai, P.R. China, 3-5 December 2021)
PC member of The First International Workshop on Logics for the New Generation Artificial Intelligence (LNGAI 2021) (Hangzhou, China, 18-20 June 2021)
PC chair of The Forth International Conference on Logic and Argumentation (CLAR 2021) (Hangzhou, China, 20-22 October 2021)
PC member of The 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) (virtual conference)
PC member of The 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (London, UK, May 2021)
PC member of The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21) (Virtual conference)
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 (LOFT2020) (Groningen, Netherlands, 8-10 July 2020, Postponed to 2022)
PC member of The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI'20) (New York, USA, 7-12 February 2020)
PC chair of The Fifth Asian Workshop on Philosophical Logic (AWPL) (Hangzhou, China, 6-7 April 2020)
PC member of The Third International Conference on Logic and Argumentation (CLAR 2020) (Hangzhou, China, 6-9 April 2020)
PC member of The 2019 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-19) (Macao, China)
PC member of The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII) (Chongqing, China, 18-21 October 2019)
PC member of The Eighteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) (Montreal, Canada, 13 - 17 May, 2019)
PC chair of the The 2nd Workshop on Modal Logic (Beijing, China, 8-9 December 2018)
PC member of The 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (Tempe, Arizona, USA, October 30 - November 2, 2018)
PC member of the The 2018 Chinese National Conference on Modern Logic (NCML) (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)
PC member of 13th Conference on Logic and the Foundations of Game and Decision Theory (LOFT) (Milano, Italy)
PC chair of The Second Chinese Conference on Logic and Argumentation (CLAR) (Hangzhou, China, June 2018)
PC member & local chair of The 2017 Chinese National Conference on Modern Logic (NCML) (Hangzhou, Oct 2017)
PC member of The Sixth International Conference on Logic, Rationality and Interaction (LORI) (Sapporo, Sept 2017)
Organizer of The Chinese Workshop on Modal Logic (Hangzhou, May 2017)
PC member of The 2016 National Conference on Modern Logic (NCML) (Chongqing, October 2016)
Organizer of the The First Chinese Conference on Logic and Argumentation (CLAR) (Hangzhou, April 2016)
PC member of The International Conference on Autonomous Agents & Multiagent Systems (AAMAS-16)
PC member of the The International Joint Conferences on Artificial Intelligence (IJCAI-15)
PC member of The International Conference on Autonomous Agents & Multiagent Systems (AAMAS-15)

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

主持：
- 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.)

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