• 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