- April 8th 2022 FAAI, Knowing how to plan
- Dec 9th 2021 SCNU, Epistemic Logic and Epistemic Puzzles (PDF)
- Dec 7th 2021 Logic Seminar of PKU, “欲成其事, 先利其器: 科研信息化工具” (PDF)
- Dec 3rd 2021 NCML 2021全国现代逻辑学术研讨会: “与你我有关的学术论理与规范” Academic Ethics relevant to you and me (PDF)
- Nov 11th 2021 LiRA + A|C joint Seminar @ ILLC: Intuitionistic Logic as an Epistemic Logic of Knowing How
- Nov 6th 2021 National Conference on Philosophy of Math 全国数学哲学年会: What is Intuitionistic Truth?
- Oct 14th 2021 Fudan Logic Seminar: Bundled Fragments of First-order Modal Logic and Its Applications
- Aug 25 2021 IJCAI Journal Track: Planning-based knowing how: a unified approach
- Aug 10th 2021 LoDE II @ESSLLI: Knowing how to Understand Tensor Disjunction
- July 7 2021 Math, Logic and Philosophy: Decoding Non-classical Logics
- June 25 2021 TARK: De Re Updates
- June 26 2021 TARK: Knowing How to Plan
- April 14 2021 Philosophy Symposium: Hintikka meets Plato: An Adventure of
- April 10 2021 Delta Workshop: Knowing How to Understand Intuitionistic Logic
- Jan 5 2021 Logic Seminar @PKU: Knowing How to Understand Intuitionistic Logic
- Dec 24 2020 Sichuan University: 辛提卡遇见柏拉图:知识逻辑的新发展
- May 5 2020 Tsinghua University: When names are not commonly known: epistemic logic with assignments
- Mar 31 2020 Logic Seminar @PKU: 一个”老改犯”的自白:论文写作的经验与教训交流 On Writing Papers (PDF)
- Jan 3 2020 Peking University 社科基金动员会: 通向科研独立之路 On Research Projects (PDF)
- Dec 28 2019 Wuhan University: Logics of Knowing How
- Dec 27 2019 Hongyi Lecture Series @Wuhan University, Epistemic Logic: From Philosophy to AI
- Nov 9 2019 NCML2019 全国现代逻辑会教育环节: 从学生到学者——研究生指导 On Supervising Graduate Students (PDF)
- Oct. 18 2019 LORI Invited Talk: Beyond Knowing That: A New Generation of Epistemic Logic
- Dec 5th 2015 A logic framework for conforment planning, 2nd Delta workshop, Fudan University (PDF)
- Oct 16 2015 A logic of “knowing how’’ Conference on Williamson, Logic and Philosophy, Peking University (PDF)
- Sept 6 2015 Axiomatizations of DEL-like logics via ETL-like method, Applied Logic seminar, Applied Logic Group of TU Delft
- Sept 4 2015 Beyond “knowing that”: non-standard epistemic logics, LIRa seminar, ILLC Amsterdam (PDF)
- Aug 19 2015 An epistemic logic of “knowing what” Lorentz center workshop: To be announced! Synthesis of Epistemic Protocols, Leiden (PDF)
- Feb 3 2015 Planning with Epistemic Goals, ISLAMAS, IMSc Chennai (PDF)
- Jan 5 2015 Beyond “knowing that”, ALC, IIT Mumbai (PDF)
- Nov 19 2014 Formalizing Knowledge-how, Beijing Normal University (PDF)
- Aug 20 2014 A Dynamic-Epistemic View on Two Interpretations of Imperfect Information Extensive-Form Games SAET, Waseda University (PDF)
- July 2 2014 Beyond “knowing that”, Tsinghua Univerisity
- April 13 2014 Beyond “knowing that”, Nankai University
- April 12 2014 Epistemic Informativeness, Sun Yet-sen University (PDF)
- Jan 15 2014 Merging DEL and ETL for epistemic planning, Dagstuhl, Germany (PDF)
- Jan 8 2014 Bisimulation as a notion of semantic similarity, Osnabrueck University, Germany
- Nov 1 2013 An Alternative axiomatization of DEL, Jadavpur University, India
- Aug 27 2013 An Alternative Axiomatization of DEL and its Applications, Tsukuba University, Japan
- Sept 24 2013 Axiomatizations of Dynamic Epistemic Logic, ISI Chennai, India
- Oct 24 2013 An epistemic logical perspective on interpretations of extensive games with imperfect information, IMSc, India
- Dec 16 2013 Some foundational questions about DEL, Department of Computer Science, Sun Yet-sen University, China
- Dec 20 2013 An introduction to dynamic epistemic logic, University of Chinese Academy of Sciences, China
- Jan 12 2012 A dynamic epistemic view of How-questions, University of Tsukuba, Japan
- Jan 7 2012 Reasoning about Agent Types, University of Tokyo, Japan
- Aug 7 2012 Not all those who wander are lost, Oxford University, UK
- Jan 25 2011 Counting models modulo bisimulation, IMSc Chennai, India
- Jan 22 2011 Protocol dynamics and knowledge, VIT University, India
- Nov 7 2010 Reasoning about protocol change and knowledge, Renmin University, Beijing
- Feb 26 2010 PDL for Procedural Change, Workshop on Formal Methods of Communication, Leiden
- Oct 26 2010 Epistemic Modelling and Protocol Dynamics, Logic Seminar at PKU, Beijing
- April 7 2009 Abstractions of Programs and Agents in Model Checking, ACG seminar, CWI
- Dec 7 2009 Making Things Happen, Dynamic Logic Seminar, ILLC Amsterdam
- Jun 11 2008 Abstraction of Kripke Models for Dynamics, PAM CWI
- Dec 9 2008 To Know or not to Know – A Question in Security Analysis, University of Luxembourg
- Feb 04 2008 PDL over Accelerated Labeled Transition System, PAM, CWI
- Sept 22 2008 Dynamic Epistemic Modelling and Abstraction Workshop of Logic and information security, Leiden
- Oct 10 2007 Risk Balance in Exchange Protocols, PAM, CWI
- Feb 07 2007 Characterization of Regular Expressions: an Intuitive Way, PAM, CWI
- July 02 2007 Dynamic Epistemic Verification of Security Protocols, Meeting of the minds, ILLC, Amsterdam
- May 23 2007 Dynamic epistemic verification of security protocols, University of Liverpool
- Aug 23 2007 Model checking: a brief introduction, Philosophy Department of Peking University
- Nov 1 2006 Security of Multi-party Protocols: Epistemics and Verification, Workshop on Games, action and social software, Leiden
- June 27 2006 Abstract Kripke Semantics, 3rd Paris-Amsterdam Logic Meeting of Young Researchers, Paris