Talks

  • 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 \exists \Box
  • 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