1. De Re and De Dicto Knowledge of Time, 3rd Workshop on Logic for Multi-Agent Systems (LMAS), Zhejiang University, Hangzhou, China, June 22-23, 2024

  2. 38th AAAI Conference on Artificial Intelligence (AAAI-24), February 2024, Vancouver, Canada

  3. Truth Sets Algebras: A New Way to Prove Undefinability, Logic Seminar, Southwest University, China, 6 September 2023

  4. Egocentric Logics, Logic Seminar, Beijing Normal University, 1 September 2023

  5. 32st International Joint Conference on Artificial Intelligence (IJCAI 23), August 2023 (2 talks)

  6. Truth Sets Algebras: A New Way to Prove Undefinability, Logic Seminar, Beijing Normal University (online), 21 April 2023

  7. 31st International Joint Conference on Artificial Intelligence (IJCAI 22), July 2022 (4 talks)

  8. Prevailing in the Dark: Information Walls in Strategic Games, 36th AAAI Conference on Artificial Intelligence (AAAI 22), February 22 - March 1st, 2022 (virtually, joint with Wenxuan Zhang), YouTube

  9. Three Forms of Responsibility in Multiagent Systems, Computational Logic seminar, Graduate Center, City University of New York, 12 October, 2021 (virtually, joint with Rui-Jie Yew)

  10. Three Forms of Responsibility in Multiagent Systems, Responsibility in Autonomous Systems Workshop, University of Southampton, 15 September, 2021 (virtually)

  11. Two Forms of Responsibility in Strategic Games, 30th International Joint Conference on Artificial Intelligence (IJCAI 21), August 21-26, 2021 (virtually, joint with Jia Tao), YouTube

  12. Budget-Constrained Coalition Strategies with Discounting, 30th International Joint Conference on Artificial Intelligence (IJCAI 21), August 21-26, 2021 (virtually), YouTube

  13. 18th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 21), Tsinghua University, Beijing, China, June 25-27, 2021 (virtually, joint with Jia Tao), YouTube

  14. International Conference “Formal Philosophy 2021”, Higher School of Economics, Moscow, Russia, June 21st, 2021 (virtually), YouTube

  15. 29th International Joint Conference on Artificial Intelligence (IJCAI-20), July 2021 (virtually)

  16. Computational Logic seminar, Graduate Center, City University of New York, October 20th, 2020 (virtually, joint with Rui-Jie Yew)

  17. 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-20), 9-13 May 2020, Auckland, New Zealand (virtually)

  18. 34th AAAI Conference on Artificial Intelligence (AAAI-20), February 7-12, 2020, New York, New York, USA

  19. Colloquium, Claremont Center for Mathematical Sciences, March 27th, 2019

  20. Algebra, Number Theory, and Combinatorics Seminar, Claremont Center for Mathematical Sciences, February 19th, 2019

  21. 33rd AAAI Conference on Artificial Intelligence (AAAI-19), January 27-February 1, 2019, Honolulu, Hawaii, USA

  22. Reasoning about Actions and Processes: Highlights of Recent Advances, Workshop at 16th International Conference on Principles of Knowledge Representation and Reasoning, October 28 & 29, 2018, Tempe, Arizona

  23. Applied Mathematics Seminar, Claremont Center for Mathematical Sciences, September 17, 2018

  24. 26th International Joint Conference on Artificial Intelligence (IJCAI), Melbourne, Australia, August 24, 2017

  25. 16th conference on Theoretical Aspects of Rationality and Knowledge (TARK), Liverpool, UK, July 15th, 2017 (rump session)

  26. 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Sao Paulo, Brazil, May 2017

  27. Workshop in Games, Networks and Social Epistemology, New York, April 20-21, 2017 (invited)

  28. 15th European Conference On Logics In Artificial Intelligence (JELIA), Larnaca, Cyprus, November 2016

  29. 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Maastricht, Netherlands, July 2016 (two talks)

  30. Computer Science Colloquium at the CUNY Graduate Center, November 19th, 2015

  31. 21st Workshop on Logic, Language, Information and Computation (WoLLIC), September 2014, Valparaiso, Chile

  32. Information Dynamics in Artificial Societies Workshop, The 26th European Summer School in Logic, Language and Information, Tübingen, Germany, August 11-22, 2014

  33. 11th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), Bergen, Norway, July 2014

  34. 4th International Workshop on Logic, Rationality, and Interaction (LORI), Hangzhou, China, October 9-12, 2013

  35. 14th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA), Coruna, Spain, September 16-18, 2013

  36. International Workshop on Game Theory, Epistemic Logic, and Related Topics, August 27-30, 2012, Tsukuba, Japan (invited)

  37. International Workshop on Strategic Reasoning (SR), Rome, Italy, March 16-17, 2013

  38. 5th Indian Conference on Logic and its Applications, January 10–12, 2013, Chennai, India

  39. 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), Chennai, India, January 2013, YouTube

  40. 13th European Conference on Logics in Artificial Intelligence (JELIA), September 26-28, 2012, Toulouse, France

  41. 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), June 18-20, 2012, University of Sevilla, Spain (two talks)

  42. The Constructive in Logic and Applications - A Conference in Honor of the 60th Birthday of Sergei Artemov, May 23-25, 2012, New York, United States

  43. Third International Workshop on Logic, Rationality and Interaction (LORI III), Guangzhou (Canton), China, October 2011

  44. 20th Conference on Computer Science Logic (CSL), Bergen, Norway, September 2011

  45. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Barcelona, Spain, July 2011

  46. 13th conference on Theoretical Aspects of Rationality and Knowledge (TARK), Groningen, the Netherlands, July 2011

  47. Computer Science Colloquium at the CUNY Graduate Center, March 10th, 2011

  48. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Lisbon, Portugal, August 16-17, 2010

  49. 16th Workshop on Logic, Language, Information and Computation (WoLLIC), Tokyo, Japan, June 21-24, 2009

  50. Computational Logic Seminar, CUNY Graduate Center, October 27th, 2007

  51. New Directions in Proof Complexity workshop, Isaac Newton Institute for Mathematical Sciences, April 10-13, 2006, Cambridge University, Cambridge, United Kingdom

  52. Logic Colloquium 2004, ASL European Summer Meeting, Turin, Italy, July 2004

  53. Annual Meeting of the Association for Symbolic Logic, Pittsburgh, May 2004

  54. Computer Science Colloquium at the CUNY Graduate Center, October 16th, 2003

  55. The 18th Annual IEEE Symposium on Logic in Computer Science (LICS), Ottawa, Canada, June 2003

  56. Winter Meeting of the Association for Symbolic Logic, Baltimore, Maryland, January 2003

  57. Interdisciplinary Logic Seminar, Penn State University, University Park, Pennsylvania, February 12th, 2002

  58. Interdisciplinary Logic Seminar, Penn State University, University Park, Pennsylvania, October 2nd, 2001

  59. The 13th International Conference on Theorem Proving in Higher Order Logics, Portland, Oregon, 2000

  60. Conference on Proof Theory, Provability Logic, and Computation, Bern, Switzerland, 20-24 March 1994

  61. 10th Soviet Union Mathematical Logic Conference, Alma-Ata, Kazakhstan, Soviet Union, November 1-3rd, 1990