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

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

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

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

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

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

  7. 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

  8. 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)

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

  10. 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

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

  12. 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

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

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

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

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

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

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

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

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

  21. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  41. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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