• Some talks

  • Dec 5th 2015 A logic framework for conferment 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